Thanks for visiting us Exhibitions/conferences, Railway

CLEARSY’s team thanks you for your visit on Innotrans. We shall be present on Sifer (Lille – France – March […]

Innotrans 2014 – Come see us! Exhibitions/conferences, Railway

CLEARSY will present its product line and its latest innovative solutions: a SIL2 network of communication and its variety of […]

AFADL 2014: on june 11th and 12th, 2014 Exhibitions/conferences

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

ABZ 2014 – From june 2d to 6th in Toulouse Exhibitions/conferences

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

Engineering Complex Preponderant Software Systems Seminar in Toulouse Defense, Exhibitions/conferences

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

Newcastle University Technical Seminar Exhibitions/conferences, Railway

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

CAI 2013 Conference Exhibitions/conferences, Railway

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

Dagstuhl Seminar 2013 Exhibitions/conferences

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