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, à...
Conférences
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...
Conférence FM’2008, à Turku, en Finlande
A l'occasion de la conférence internationale sur les méthodes formelles (FM'2008), Turku, Finlande (28-30 Mai 2008), CLEARSY a présenté lors de l'Industry Day...