NEWS

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...

Atelier B 4.0.1 is available for maintenance holders
We are pleased to inform you that Atelier B 4.0.1 is available for download. It is exclusively reserved for maintenance holders, and is accessible via their...

CLEARSY is organizing the “B Dissemination Day” workshop in Tokyo
On behalf of the DEPLOY project, CLEARSY is organizing the "B Dissemination Day" workshop, at the occasion of the "GRACE International Symposium on...