NEWS
From Research to Teaching Formal Methods: the B Method
June 7th 2010, Nantes, France Presentation The workshop "From Research to Teaching Formal Methods: the B Method" was held in Nantes June 7, 2010, at "Journées...
Bibliography: Jean-Raymond Abrial publishes a book dedicated to Event-B
Jean-Raymond Abrial’s Event-B book has been published in may 2010. This 600+ page book, written in english, is entitled “Modeling in Event-B: System and...
Nantes 2010 Conference : “From Research to Teaching Formal Methods – the B Method”
The University of Nantes is organizing the 3rd edition of the conference dedicated to B method. It will be held June 7, 2010, at the Cité Internationale des...
B Dissemination Day – Satellite event of Grace International Symposium on Advanced Software Engineering 2010
Mars 15th-17th 2010, Tokyo, Japan Presentation The aim of this workshop is to illustrate B/event-B formal modeling as a technique for specifying, designing,...
CLEARSY Announces Participation in FMICS 2010
CLEARSY is pleased to announce its participation to the 15th edition of FMICS 2010 (Formal Methods for Industrial Critical Systems) which will be held at...
Workshop on B Dissemination , satellite event of SBMF 2010
Satellite event of SBMF 2010 November 8th-9th 2010, Natal, Brazil Presentation This B / event-B workshop is organized on behalf of the DEPLOY...