Logo Shonan Meeting
Méthodes formelles et systèmes cyber-physiques – Séminaire à Shonan Salons/conférences

CLEARSY va organiser à Shonan (sud de Tokyo), du 05 au 09 Novembre 2018, un séminaire scientifique sur invitation relatif […]

Conférence internationale SBMF 2017
Conférence SBMF Salons/conférences

Brazilian Symposium on Formal Methods La conférence SBMF organisée du 29 Novembre au 1er Décembre 2017 à Recife (Brésil). La […]

Recife Ecole Doctorale ETMF
École Doctorale ETMF Salons/conférences

ETMF 2017 organisée les 27 et 28 Novembre 2017 à Recife (Brésil). Un tutoriel de 3 heures a été délivré […]

Logo-RailMetro-China-2017
Rail+Metro China 2017 : Venez nous rencontrer ! Ferroviaire, Métro (CBTC), Salons/conférences

CLEARSY sera sur le salon Rail+Metro 2017 à Shanghai. Venez nous retrouver sur notre stand E7S159 du 21 au 23 […]

Tutorial conference RSSR 2017
Tutoriel conférence RSSR Ferroviaire, Salons/conférences

Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification La conférence RSSR 2017 était organisée le 14 […]

Les méthodes formelles appliquées au ferroviaire Ferroviaire, Salons/conférences

Adaptées pour l’industrie, les méthodes formelles sont utilisées sur des projets ferroviaires d’envergure et permettent de démontrer la sureté de […]

Conférence internationale SBMF 2017
Conférence internationale SBMF 2017 Salons/conférences

CLEARSY participe à la Conférence internationale SBMF 2017 relative aux méthodes formelles. Cette conférence aura lieu du 27 Novembre au 1er […]

Salon des transports publics UITP Ferroviaire, Salons/conférences

Venez nous retrouver sur le salon UITP de Montréal du 15 au 17 mai 2017. Ce salon et congrès mondial […]