seminar NewRail Center for Railway Research - Newcastle University
Séminaire technique à l’université de Newcastle Salons/conférences

Une présentation de techniques formelles basées sur B a été faite pour une audience académique. Une présentation technique de la […]

Tutoriels organisés pour des chercheurs et des ingénieurs de l’industrie Salons/conférences

Newcastle (NewRail Centre for Railways Research) en Février 2018 (15 personnes) Montréal et Sherbrooke (Canada) en Avril 2018 (30 personnes) […]

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