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 […]

Smart Metro
CLEARSY will be present on Smart Metro conference, from October 29th – 31st, 2018 in Paris. Exhibitions/conferences, Metro (CBTC), Railway

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

CLEARSY, Global Conference on Signalling : the Evolution of ERTMS
Global Conference on Signalling : the Evolution of ERTMS ERTMS, Exhibitions/conferences

The conference GRTMS was held 26-28 March 2018 in Milan (Italy). This conference organized by UIC was the occasion to […]

ERTMS-1St-UIC-Global-Conference-on-Signalling-e1519374735244
CLEARSY will be present at the conference “1st UIC GLOBAL CONFERENCE ON SIGNALLING – The evolution of ERTMS” ERTMS, Exhibitions/conferences

CLEARSY will be present at the conference “1st UIC GLOBAL CONFERENCE ON SIGNALLING – The evolution of ERTMS” which takes […]

seminar NewRail Center for Railway Research - Newcastle University
Technical seminar Newcastle University Exhibitions/conferences

Several formal techniques based on B have been presented to an academic audience. A technical presentation of teh CLEARSY Safety […]

Shonan
Formal methods for cyber-physical systems – Shonan Exhibitions/conferences

CLEARSY will organize an invitational scientific seminar on the industrial use of formal methods for cyber-physical systems, in Shonan (south […]

Conférence internationale SBMF 2017
Talk at the conference SBMF 2017 Exhibitions/conferences

Brazilian Symposium on Formal Methods The CLEARSY Safety Platform has been presented during the talk “Applying a Formal Method in […]