Lambda Mu16 – The New Challenges of Risk Control Exhibitions/conferences

Two years after the Lambda Mu 15, the Institute for risk control (LMdR) has organized the sixteenth edition of its […]

Negocios Nos Trilhos Exhibitions/conferences, Railway

“Negocios Nos Trilhos” Fair 2007 CLEARSY will be participating this year to the new edition of the brazilian railway fair […]

“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: […]