CLEARSY a le plaisir de vous annoncer sa participation à l'Industry Day de FM2011, le 17ème symposium international dédié aux méthodes formelles qui se...
Conférences
From Research to Teaching Formal Methods: the B Method – Nantes 2010
7 juin 2010, Nantes, France Présentation Le colloque "From Research to Teaching Formal Methods: the B Method" s'est déroulé à Nantes le 07 Juin 2010, à...
WOBD – Workshop on B Dissemination – Evénement satellite de SBMF 2010
8-9 Novembre 2010, Natal, Brésil Présentation Ce workshop B/event-B est organisé dans le cadre du projet DEPLOY. Il a pour objectif de présenter l’état...
Workshop on Recent Innovations and Applications in B (RIAB)
3 Novembre 2009 à Eindhoven Le workshop "Recent Innovations and Applications in B" (RIAB) aura lieu le 3 novembre 2009 durant le Formal Methods Weeket...
Journées de Présentation de la Méthode B à Salvador et Sao Paulo, au Brésil
B Dissemination Day - Salvador CLEARSY et AeS ont organisé une journée de présentation de la méthode formelle B à Salvador, Brésil (26/08/2008), en tant...
Conférence de Nantes du 16 juin 2008
La Méthode B, de la Recherche à l'Enseignement Le colloque "the B method: from Research to Teaching" s'est déroulé à Nantes le 16 juin 2008, à l'occasion des...