FLOSS-FM ET OpenCert 2008 organisent cette année le 2nd colloque international dédié à l'Open Source et aux Méthodes Formelles. Cet événement a pour objectif...
Actualités
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...
DASIA 2008, du 27 au 30 mai 2008, à Palma de Majorque
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...
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...
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,...
Conférence B 2007 à Besançon du 17 au 19 janvier 2007
CLEARSY a participé à la conférence B2007, qui se tenait à Besançon du 17 au 19 janvier. Dans le cadre de nos travaux de Recherche & de Développement que...