http://www.bmethod.com This RSS Feed is designed to present different work and subjects for consideration by Clearsy concerning the B method, a formal method with proof. http://www.fersil.fr/images/clearsy_texte.gif http://www.bmethod.com http://www.bmethod.com/html/actualite_methode_b_en.php DASIA 2008 ClearySy 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... Tue 08 Apr 2008 11:40:00 GMT http://www.bmethod.com/html/actualite_methode_b_en.php FM2008 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 latest technical innovations related to these methods and will present new formal tools... Tue 08 Apr 2008 11:39:00 GMT http://www.bmethod.com/html/actualite_methode_b_en.php Conference Nantes 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 of Nantes... Mon 11 Jan 2008 11:11:00 GMT http://www.bmethod.com/html/actualite_methode_b_en.php ABZ 2008 The ABZ Conference 2008 has the objective of bringing together the B, Z and ASM communities... Tue, 11 Feb 2008 10:59:00 GMT