Nantes 2010 Conference : “From Research to Teaching Formal Methods – the B Method” Exhibitions/conferences

The University of Nantes is organizing the 3rd edition of the conference dedicated to B method. It will be held […]

Innotrans Fair 2010 Exhibitions/conferences, Railway

CLEARSY is delighted to announce its participation in the Innotrans show, which will take place from 21st to 24th September […]

Teaching of the Formal Methods at the Bourges École nationale supérieure d’ingénieurs (ENSI de Bourges) Exhibitions/conferences

CLEARSY now teaches courses on the formal methods at the Bourges École nationale supérieure d’ingénieurs (ENSI de Bourges): Software specifications […]

Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010 Exhibitions/conferences

CLEARSY will teach formal methods at the Ecole des Mines of Gardanne during the month of January 2010. These 18 […]

UITP railway fair 2009 in Viennes
UITP Railway fair at Viennes Exhibitions/conferences, Railway

CLEARSY will be participating in the UITP fair that will take place in Viennes from the 7th to the 11th […]

SIFER Fair 2009 at Lille Exhibitions/conferences, Railway

CLEARSY has the pleasure of announcing its participation to the SIFER railway fair 2009, that will take place in Lille […]

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