CLEARSY a le plaisir de vous annoncer sa participation à la 14eme édition du FMICS (Formal Methods for Industrial Critical Systems) qui se tiendra du 2 au 3...
Actualités
Colloque International IFM 2009
CLEARSY vous informe de sa participation au colloque IFM 2009 (Integrated Formal Methods) qui se tiendra du 16 au 19 février 2009 à Düsseldorf. Cette 7eme...
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...
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...