NEWS
“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...
ABZ Conference 2008 from 16 to 18 September 2008, in London
The ABZ Conference 2008 has the objective of bringing together the B, Z and ASM communities. It will be organized around one joint day and 2 days belonging to...
Conference on Formal Methods, Turku, Finland
Formal Methods Europe has organized an international conference on formal methods to be held from May 26 to 30. This event will provide information on the...
DASIA 2008, from May 27 to 30, 2008 at Palma de Majorque
CLEARSY will participate in the DASIA 2008 (DAta Systems in Aerospace) conference to be held between May 27 and 30, 2008. For more information on this event,...