CLEARSY participated in the prestigious International Conference on Formal Methods, FM 2015 Exhibitions/conferences

CLEARSY participated in the prestigious International Conference on Formal Methods, FM 2015, which was held in Oslo (Norway) from June […]

Sifer 2015 : Come to see us! Exhibitions/conferences, Railway

CLEARSY participates on SIFER 2015,  from 24th till 26th March 2015, in the Grand Palais in Lille. SIFER, has for […]

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