![Conférence internationale SBMF 2017](https://www.clearsy.com/wp-content/uploads/2017/09/recife-ground_zero.jpg)
CLEARSY participe à la Conférence internationale SBMF 2017 relative aux méthodes formelles. Cette conférence aura lieu du 27 Novembre au 1er […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/UITP-logo-Montreal-HD-850x325-1.jpg)
Venez nous retrouver sur le salon UITP de Montréal du 15 au 17 mai 2017. Ce salon et congrès mondial […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/visue-news-sifer-620x325-1.jpg)
CLEARSY participe au salon SIFER 2017, qui se tiendra du 21 au 23 mars 2017, au Grand Palais à Lille. […]
![image-psa](https://www.clearsy.com/wp-content/uploads/2016/10/image-psa.jpg)
Ce séminaire, intitulé « Logiciel prouvé avec B pour des automatismes sécuritaires à bas coût et à haut niveau d’intégrité », est […]
![LCHIP project (Low Cost High Integrity Platform)](https://www.clearsy.com/wp-content/uploads/2016/10/PLCHI-1-1.jpg)
Le projet LCHIP (Low Cost High Integrity Plateform) vise à faciliter le développement de systèmes sécuritaires (logiciel critiques) jusqu’au niveau […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY participera à InnoTrans, le rendez-vous mondial des acteurs du Transports, qui se tiendra au Parc des Expositions de Berlin […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
ClearSy is participating to InnoTrans, the leading international trade fair for transport technology, which is held in Messe Berlin from 20 to 23 September, 2016. We look forward to seeing you at InnoTrans on ClearSy booth : stand 103, Hall 4.1.
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY a été invitée (http://issre.net/keynotes) à présenter son expérience quant à l’utilisation de méthodes formelles pour des applications industrielles sûres […]