![SIFER 2019](https://www.clearsy.com/wp-content/uploads/2019/03/SIFER-2019-logo-large-1.png)
VENEZ SUR NOTRE STAND AU SALON SIFER DU 26 AU 28 MARS 2019 À LILLE – Hall 1 Stand 218 […]
![CLEARSY INNOTRANS 2018](https://www.clearsy.com/wp-content/uploads/2018/12/clearsy-innotrans.png)
CLEARSY était présent au salon Innotrans à Berlin. L’occasion de présenter CLEARSY Data Solver, la plateforme Saturn, l’armoire de signalisation […]
![Travaux pratiques à IFRN Parnamirim](https://www.clearsy.com/wp-content/uploads/2018/12/ifrn-hands.jpg)
À Parnamirim/Brésil, le starter kit SK1 a été présenté à un ensemble d’enseignants chercheurs (IFRN: Instituto Federal de Educação, Ciência […]
![CSSP présentée au Workshop on Software Development Technology](https://www.clearsy.com/wp-content/uploads/2018/12/ifrn-central-talk.jpg)
A IFRN-Central (Natal/Brésil), un exposé a présenté à des étudiants et enseignants en informatique le développement de logiciels prouvés avec […]
![CSSP présentée pendant l'Industry Day 2018 - Oxford](https://www.clearsy.com/wp-content/uploads/2018/07/fm-oxford-1.jpg)
Au cours de la Conférence FM 2018 (Formal Methods) organisée du 15 au 17 Juillet 2018 à Oxford (UK), la CLEARSY […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/ABZ-2018-CLEARSY-850x325-1.jpg)
La société CLEARSY était présente à la sixième édition de la conférence internationale ABZ, dédiée à diverses méthodes formelles, en […]
![symposium uk-2018](https://www.clearsy.com/wp-content/uploads/2018/06/symposium-uk-2018-1.jpg)
À l’occasion de la conférence Formal Methods qui se tiendra à Oxford (UK) du 15 au 17 Juillet 2018, CLEARSY […]
![starter kit SK0, travaux pratiques à IFRN Parnamirim](https://www.clearsy.com/wp-content/uploads/2018/05/ifrn-parnamirim-hands.jpg)
À Parnamirim/Brésil, le starter kit SK0 a été présenté à un ensemble d’enseignants chercheurs (IFRN: Instituto Federal de Educação, Ciência […]