CSSP présentée pendant l'Industry Day 2018 - Oxford
CLEARSY Safety Platform presented at Industry Day 2018 Exhibitions/conferences

At the occasion of the conference FM 2018 on Formal Methods held 15-17 July 2019 in Oxford (UK), the CLEARSY […]

ABZ 2018 – from 5th au 8th June 2018 – Southampton, United Kingdom Exhibitions/conferences

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

symposium uk-2018
Conference on formal methods – Oxford Exhibitions/conferences

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
Hands-on session at IFRN Parnamirim Exhibitions/conferences

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
CLEARSY Safety Platform presented at IFRN Parnamirim Exhibitions/conferences

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)
MASTER 2 course given at UFRN/IMD Exhibitions/conferences

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

CLEARSY starter kit SK0 Universidade Federal Fluminense
Hands-on session at UFF Niteroi Exhibitions/conferences

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

Technologies de pointe pour le développement et le déploiement de logiciels sans défaut Montreal
Computer Science seminar in Montreal/Canada Exhibitions/conferences

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