|
Events
Organisation (participation, co-organisation)
From
Research to Teaching Formal Methods – B Method TFM-B2010
Journée
Scientifique Université de Nantes – Juin 2010, Chair
IM_FMT
@ IFM'2009, Düsseldorf, March 2009
Workshop Chair
From
Research to Teaching Formal Methods – B Method TFM-B2009
Journée
Scientifique Université de Nantes – Juin 2009, Chair
From Research to Teaching Formal Methods – B Method
TFM-B2008
Journée Scientifique Université de Nantes – Juin
2008, Local Organisation
VSMF'2007
- Workshop AtlanStic -
(Organiser)
Variété
de la nature des Systèmes et Méthodes Formelles,
13
septembre 2007, LINA, Nantes
ProVeCS'2007
- Satelite event of
TOOLS Europe 2007 (Workshop Chair)
ETH
Zurich, 24th June
2007http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2008/index.html
ECOOP'2006
(Local Arrangement
Chair)
July
2006, Nantes (Palais des congès)
Invoice'1998
(Local Organisation)
International
Workshop
IRIN,
University of Nantes
1st
International B Conference (local
organisation)
IRIN,
University of Nantes, 1996
Putting
into Practice Methods and Tools for Info. Systems
Z Twenty
Years on - What is its Future?
1995,
Nantes
Home
|