Conférences

WOBD - Workshop on B Dissemination - Evénement satellite de SBMF 2010

Ce workshop B/event-B est organisé dans le cadre du projet DEPLOY. Il a pour objectif de présenter l’état d’avancement des travaux de recherche et de développement autour des langages B et Event-B, ainsi que les applications en vraie grandeur à des problématiques industrielles.

Workshop on Recent Innovations and Applications in B

Le workshop "Recent Innovations and Applications in B" (RIAB) aura lieu le 3 novembre 2009 durant le Formal Methods Week...

Journée de Présentation de la Méthode B

AeS et ClearSy ont organisés une journée dédiée à la méthode B, qui s'est déroulée au Brésil. L'objectif de cet événement consistait à présenter et promouvoir la méthode B, au travers de différentes présentations de projets et d'outils ayant fait appel à B.

Conférence FM'2008

ClearSy a participé à la conférence internationale sur les méthode formelle qui s'est déroulée du 28 au 30 mai 2008, à Turku en Finlande.

Conférence de Nantes 2008 : La Méthode B - de la Recherche à l'Enseignement

Cette conférence porte sur la méthode B et s'est déroulée le 16 juin 2008, à la Cité Internationale des Congrès, à Nantes...

Conférence B2007

B2007 est une conférence internationale portant sur le langage B, ces évolutions et ses outils associés.

Conférence AFADL'06

Participation de Clearsy à AFADL'06 (15, 16, 17 mars 2006). Démonstration d'un nouvel outil d'aide à la spécification de système : CompoSys. Pour découvrir Composys...