La conférence GRTMS était organisée du 26 au 28 Mars 2018 à Milan (Italie). Cette conférence organisée par l’UIC a […]

CLEARSY sera présent à la conférence « 1st UIC GLOBAL CONFERENCE ON SIGNALLING – The evolution of ERTMS » qui se tiendra […]

CLEARSY est mécène de MP 2018. L’événement en forme de déclaration d’amour aux arts, aux artistes et au territoire, démarre […]

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

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

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

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

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