For over 10 years, CLEARSY has been a SIEMENS strategic partner  for the development of critical software, system validation and […]

After nine years of waiting, the new M4 line of the Budapest metro was put into circulation on March 28, […]

CLEARSY sponsors the AFADL 2014 which will take place at the CNAM (Paris, France) in conjunction with the SKY and […]

ABZ conference confronts the best experts in the field of formal methods with proof from universites and the industry. The […]

CLEARSY attended the ISCLP seminar organized by the DGA as part of its mission “to prepare the future of defense […]

ClearSy is contributing to a technical seminar organized by Newcastle University on 24 October 2013. Formal methods are used worldwide […]

CLEARSY participated to CAI 2013 conference (International Conference on Algebraic Informatics) held in Porquerolles (France) 3-6 September 2013. A talk, […]

CLEARSY attended a Seminar,”Integration of Tools for Rigorous Software Construction and Analysis” (13372),  held at Schloss Dagstuhl in Germany (8-13 […]