![](https://www.clearsy.com/wp-content/uploads/2021/05/actu-tuto-abz-web-FR.jpeg)
CLEARSY is participating to the “international conference on rigorous state based methods” which will take place from June 07 to 11, 2011.
![smart metro CBTC](https://www.clearsy.com/wp-content/uploads/2019/11/smart-metro-web-FR-1.png)
The congress provides the global meeting place for senior metro, tram, and light rail technology experts. This year the event […]
![third world congress on formal methods Porto](https://www.clearsy.com/wp-content/uploads/2019/10/Porto-site-FR-1.png)
CLEARSY attends the third world congress on formal methods: FM’19 from 7 ou 10 october 2019. CLEARSY presents 2 papers: […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/IMG_1164.jpg)
The 18th edition of AFADL days (Approches Formelles dans l’Assistance au Développement Logiciel in french or Formal approaches to support […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/web-uitp-850-325.jpg)
CLEARSY, a French company of 140 employees, designs and produces certified safe systems and software applications for urban and main-line […]
![CSSP présentée à la conférence RSSR 201](https://www.clearsy.com/wp-content/uploads/2019/06/rssr-lille.jpg)
At the occasion of the conference RSSR 2019 held on 4-6 June 2019 in Lille, CLEARSY presents the paper entitled […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/rssr-web-jpg.jpg)
The third conference RSSR on Reliability, Safety and Security of Railway systems; modelling, analysis, verification and certification will take place […]
![SIFER 2019](https://www.clearsy.com/wp-content/uploads/2019/03/SIFER-2019-logo-large-1.png)
COME TO CLEARSY’s BOOTH AT SIFER FAIR, FROM 26th AU 28th MARCH 2019 AT LILLE (France) – Hall 1 Booth 218 Safety […]