![Travaux pratiques à IFRN Parnamirim](https://www.clearsy.com/wp-content/uploads/2018/12/ifrn-hands.jpg)
In Parnamirim/Brazil, the starter kit SK1 has been presented to teachers and researchers (IFRN: Instituto Federal de Educação, Ciência e […]
![CSSP présentée au Workshop on Software Development Technology](https://www.clearsy.com/wp-content/uploads/2018/12/ifrn-central-talk.jpg)
At IFRN-Central (Natal/Brazil), the development of proven software with the B method and their execution on the CLEARSY Safety Platform […]
![CSSP présentée pendant l'Industry Day 2018 - Oxford](https://www.clearsy.com/wp-content/uploads/2018/07/fm-oxford-1.jpg)
At the occasion of the conference FM 2018 on Formal Methods held 15-17 July 2019 in Oxford (UK), the CLEARSY […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/ABZ-2018-CLEARSY-850x325-1.jpg)
CLEARSY has attended the sixth edition of the ABZ conference, an event dedicated to formal methods, including the B method […]
![symposium uk-2018](https://www.clearsy.com/wp-content/uploads/2018/06/symposium-uk-2018-1.jpg)
During the international conference on formal methods (FM 2018), which will take place in Oxford on 15-17 July 2018, CLEARSY […]
![starter kit SK0, Hands-on session at IFRN Parnamirim](https://www.clearsy.com/wp-content/uploads/2018/05/ifrn-parnamirim-hands.jpg)
In Parnamirim/Brazil, the starter kit SK0 has been presented to teachers and researchers (IFRN: Instituto Federal de Educação, Ciência e […]
![CSSP présentée à IFRN Parnamirim](https://www.clearsy.com/wp-content/uploads/2018/05/ifrn-paramirim-1.jpg)
A technical presentation of the CLEARSY Safety Platform was given to 180 students, teachers and researchers of mechatronics at the […]
![COURS DE MASTER 2 POUR L’UFRN/IMD Natal (Brésil)](https://www.clearsy.com/wp-content/uploads/2018/05/IMD-1.jpg)
A Master 2 course was given at UFRN/IMD at Natal for around twenty students. The course was completed with several […]