Team Lande

Members
Overall Objectives
Scientific Foundations
Software
New Results
Contracts and Grants with Industry
Dissemination
Bibliography

Section: Dissemination

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.


previous
next

Logo Inria