Conferences: program committees, organization, invitations
Thomas Jensen was invited to give a talk on “ Static Analysis for Extended Byte Code Verification” at the 2nd International Workshop on Proof Carrying Code (PCC'08), Carnegie Mellon University Pittsburgh, Pennsylvania, USA, June 2008.
Olivier Heen was on the program committee of CESAR 2008, ACM-WISTP 2008, SSTIC 2008 and SAR-SSI 2008. He is also co-organiser of the DIWALL seminar.
David Cachera was on the program committee of the ACM SAC'08 Software Verification Track.