NEWS
FMICS 2009 International Workshop
CLEARSY has the pleasure of announcing its participation to the FMICS 2009, that will take place at the University of Eindhoven from the November 2 to 3rd...
IFM 2009, 7th International Conference on Integrated Formal Methods
CLEARSY will be participating to the IFM 2009 (Integrated Formal Methods) that will take place in Duesseldorf from the February 16th to the 19th 2009. This...
FM2008 in Turku, Finland
At the occasion of the FM'2008 international conference on formal methods, located in Turku, Finland, May 28-30 2008, CLEARSY presented, during the Industry...
“B Dissemination Day 2008” Seminar in Brazil
This year, AeS and CLEARSY are organizing a day dedicated to the B Method, which will take place in Brazil in August. This seminar will be presented on two...
International “Open Source Software Certification” Conference
This year, FLOSS-FM and OpenCert 2008 have organized the second international conference dedicated to Open Source and Formal Methods. The objective of this...
Conference : the B Method, from Research to Teaching
The University of Nantes has organized a conference on the B Method, which will take place on June 16, 2008 at the Cité Internationale des Congrès in the City...