Events

• Seminars

• FMOODS 2008
  Formal Methods for Open Object-based Distributed Systems
• FTfJP 2008
  Formal Techniques for Java-like Programs

• Informal meetings over an article
• Program logic meetings
  
  
• TGC 2007
  Trustworthy Global Computing
• Cassis 2005
  Construction and Analysis of Safe, Secure and Interoperable Smart cards
• Cassis 2004
  Construction and Analysis of Safe, Secure and Interoperable Smart cards
• Final Modocop workshop
  December 4, 2003, Grenoble