“B Dissemination Day 2008” Seminar in Brazil Exhibitions/conferences

This year, AeS and CLEARSY are organizing a day dedicated to the B Method, which will take place in Brazil […]

Vector Forum 2008: “Onboard Systems Today and in 20 Years” Exhibitions/conferences

CLEARSY will participate in the Forum organized by Vector France to be held on June 24, 2007 in the Congress […]

CLEARSY at INNOTRANS fair, Berlin 2008
INNOTRANS Fair 2008 Exhibitions/conferences, Railway

CLEARSY participated in the INNOTRANS Fair to take place from September 23 to 26, 2008 in Berlin. In the context […]

CLEARSY attended the SMBF 2007 Conference in Brazil Exhibitions/conferences

CLEARSY attended the SBMF 2007 Conference and presented its article: “Formal Methods in Safety-Critical Railway Systems”. We discussed the use […]

CLEARSY at the SAFECOMP 2007 Conference Exhibitions/conferences

CLEARSY will participate in the Safecomp 2007 conference to be held on September 18 to 21, 2007 in Nuremburg, Germany. […]

CLEARSY at the SIFER 2007 Fair Exhibitions/conferences, Railway

CLEARSY was present from June 12 to 14 at the SIFER rail transport system fair. To discover our booth, visit: […]

Rodin Industry Day Exhibitions/conferences

We have the pleasure of informing you that CLEARSY are organising the Rodin Industry Day 2007. The event will take […]

Next RODIN conferences Exhibitions/conferences

Within the framework of the RODIN project, CLEARSY will be participating in the following conferences: a seminar dedicated to “Methods, […]