Colloque International “Open Source Software Certification” – 10 septembre 2008, Milan

Colloque sur les méthodes formelles à Turku, en Finlande

DASIA 2008, du 27 au 30 mai 2008, à Palma de Majorque

Conférence : La Méthode B, de la Recherche à l’Enseignement

Conférence ABZ 2008 du 16 au 18 septembre 2008, à Londres

Conférence sur les Méthodes Formelles d’Ingénierie

Conférence B 2007 à Besançon du 17 au 19 janvier 2007

Roadmap ClearSy 2007/2008

Conférence AFADL’06