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

Recife Ecole Doctorale ETMF
Tutorial doctoral School ETMF 2017 Exhibitions/conferences

A 3-hour tutorial was given to 20 formal methods researchers. This tutorial was well received as a mean to put […]

Logo-RailMetro-China-2017
Rail+Metro China 2017: Come and meet us! Exhibitions/conferences, Metro (CBTC), Railway

CLEARSY will be present at Rail + Metro 2017 in Shanghai. Come and meet us on our booth E7S159 from […]

Tutorial conference RSSR 2017
Tutorial conference RSSR 2017 Exhibitions/conferences, Railway

Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification A 2-hour tutorial was given to an audience […]

Formal methods in action in the railways Exhibitions/conferences, Railway

Formal methods are now industry ready, able to scale up to real siez railway projects and to provide a real […]

UITP – Global transport Summit – Montreal from May 15th to 17th, 2017 – Booth 2 B 156 Exhibitions/conferences, Railway

This international event gathers each year the political authorities, public transport companies operators, scientific institutes, service providers and of the […]