![seminar NewRail Center for Railway Research - Newcastle University](https://www.clearsy.com/wp-content/uploads/2018/02/seminar-newcastle.jpg)
Une présentation de techniques formelles basées sur B a été faite pour une audience académique. Une présentation technique de la […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Newcastle (NewRail Centre for Railways Research) en Février 2018 (15 personnes) Montréal et Sherbrooke (Canada) en Avril 2018 (30 personnes) […]
![Logo Shonan Meeting](https://www.clearsy.com/wp-content/uploads/2017/12/Logo-Shonan-Meeting-NII-e1513246406546-1.jpg)
CLEARSY va organiser à Shonan (sud de Tokyo), du 05 au 09 Novembre 2018, un séminaire scientifique sur invitation relatif […]
![Conférence internationale SBMF 2017](https://www.clearsy.com/wp-content/uploads/2017/09/recife-ground_zero.jpg)
Brazilian Symposium on Formal Methods La conférence SBMF organisée du 29 Novembre au 1er Décembre 2017 à Recife (Brésil). La […]
![Recife Ecole Doctorale ETMF](https://www.clearsy.com/wp-content/uploads/2017/11/tuto-recife.jpg)
ETMF 2017 organisée les 27 et 28 Novembre 2017 à Recife (Brésil). Un tutoriel de 3 heures a été délivré […]
![Logo-RailMetro-China-2017](https://www.clearsy.com/wp-content/uploads/2017/11/Logo-RailMetro-China-2017-2.png)
CLEARSY sera sur le salon Rail+Metro 2017 à Shanghai. Venez nous retrouver sur notre stand E7S159 du 21 au 23 […]
![Tutorial conference RSSR 2017](https://www.clearsy.com/wp-content/uploads/2017/11/tuto-pistoia-1.jpg)
Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification La conférence RSSR 2017 était organisée le 14 […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Adaptées pour l’industrie, les méthodes formelles sont utilisées sur des projets ferroviaires d’envergure et permettent de démontrer la sureté de […]