NEWS
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...
CLEARSY participated to the FMICS 2009
CLEARSY participated to the 14th edition of the FMICS 2009, that held take place at the University of Eindhoven from the November 2 to 3rd 2009. This event...
Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010
CLEARSY will teach formal methods at the Ecole des Mines of Gardanne during the month of January 2010. These 18 hour courses will focus on introducing...