CLEARSY has attended the sixth edition of the ABZ conference, an event dedicated to formal methods, including the B method […]

During the international conference on formal methods (FM 2018), which will take place in Oxford on 15-17 July 2018, CLEARSY […]

In Parnamirim/Brazil, the starter kit SK0 has been presented to teachers and researchers (IFRN: Instituto Federal de Educação, Ciência e […]

A technical presentation of the CLEARSY Safety Platform was given to 180 students, teachers and researchers of mechatronics at the […]

A Master 2 course was given at UFRN/IMD at Natal for around twenty students. The course was completed with several […]

In Niteroi/Brazil, the starter kit SK0 has been presented to teachers and researchers (UFF: Universidade Federal Fluminense) from the domain […]

The seminar “Cutting-edge technology for the development and deployment defect-less software” has been given to an audience 50% from academia […]

The congress provides a meeting place for metro, tram, and light rail technology experts from all global regions. The congress […]