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...
Actualités
Colloque « B Dissemination Day 2008 », au Brésil
AeS et CLEARSY organisent cette année une journée dédiée à la méthode B, qui se déroulera au Brésil, en août prochain. Cet événement sera présenté à...
Colloque International « Open Source Software Certification » – 10 septembre 2008, Milan
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...
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...