![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY participated in the prestigious International Conference on Formal Methods, FM 2015, which was held in Oslo (Norway) from June […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY participates on SIFER 2015, from 24th till 26th March 2015, in the Grand Palais in Lille. SIFER, has for […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY’s team thanks you for your visit on Innotrans. We shall be present on Sifer (Lille – France – March […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY will present its product line and its latest innovative solutions: a SIL2 network of communication and its variety of […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY sponsors the AFADL 2014 which will take place at the CNAM (Paris, France) in conjunction with the SKY and […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
ABZ conference confronts the best experts in the field of formal methods with proof from universites and the industry. The […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY attended the ISCLP seminar organized by the DGA as part of its mission “to prepare the future of defense […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
ClearSy is contributing to a technical seminar organized by Newcastle University on 24 October 2013. Formal methods are used worldwide […]