Home
People
Research
Publications
Projects
Events
Software
Seminar
Address
Project Everest
INRIA
Sophia-Antipolis
2004, Route des Lucioles
BP 93
06902 Sophia-Antipolis
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