Formal Methods
- From Research to Teaching Formal Methods: the B Method – Nantes, 2010
- B Dissemination Day – Tokyo, 2010
- Workshop on B Dissemination – Natal, 2010
- Workshop on Recent Innovations and Applications in B – Eindhoven, 2010
- B Dissemination Day – Sao Paulo et Salvador – 2008
- Conférence FM’2008, Turku, 2008
- From Research to Teaching Formal Methods: the B Method – Nantes 2008
- Rodin Industry Day 2007
- B2007
- AFADL’06
- AFIS – 2006
English
Français 
