Actualité B

DASIA 2008, du 27 au 30 mai 2008, à Palma de Majorque
ClearSy participera au colloque DASIA 2008 (DAta Systems In Aerospace) qui se tiendra du 27 au 30 mai 2008. Pour en savoir plus sur ces journées, rendez-vous sur le site : DASIA 2008.

Télécharger le programme.

Source : FM 2008 Date : 02/04/2008

Colloque sur les méthodes formelles à Turku, en Finlande
Formal Methods Europe organise du 26 au 30 mai 2008, un colloque international consacré aux méthodes formelles. Cet événement fera le point sur les dernières évolutions techniques de ces méthodes, et présentera de nouveaux outils formels.

Pour en savoir plus sur ce colloque, rendez-vous sur le site : FM 2008.

Source : FM 2008 Date : 02/04/2008

Conférence : La Méthode B, de la Recherche à l'Enseignement
L'université de Nantes organise une conférence dédiée à la Méthode B. Elle se déroulera le 16 juin 2008, à la Cité Internationale des Congrès, dans la ville de Nantes.

Pour connaître le programme de cette conférence, nous vous invitons à découvrir :
- le site de la conférence de Nantes
- le blog consacré à la conférence

Source : B Forum Date : 08/02/2008

Conférence ABZ 2008 du 16 au 18 septembre 2008, à Londres
La conférence ABZ 2008 a pour objectif de réunir les communautés B, Z et ASM. Elle sera organisée autour d'une journée commune et de 2 journées propres à chaque communauté, soit :

• the 15th International ASM Workshop,
• the 17th International Conference of Z Users,
• the 8th International Conference on the B Method.

Les Informations sont disponibles sur le site de la conférence : ABZ 2008.

Source : B Forum Date : 11/01/2008

Conférence sur les Méthodes Formelles d'Ingénierie 
A l'occasion de sa 9eme édition, l'ICFEM (International Conference on Formal Engineering Methods) qui se tiendra du 14 au 15 novembre 2007 en Floride, abordera la question de B et de la plateforme Rodin. (obtenir le programme)

Source : ICFEM 2007 Date : 20/09/2007