CLEARSY présente à la conférence internationale « ICT for railway », 7 au 8 décembre 2021 à Toulouse. Ferroviaire, Salons/conférences

CLEARSY a le plaisir d’annoncer sa présence à la conférence ICT qui aura lieu du 7 au 8 décembre 2021 […]

CLEARSY au SIFER (stand 1-218) du 26 au 28 octobre 2021 à Lille. ERTMS, Ferroviaire, Métro (CBTC), Salons/conférences

CLEARSY se fait une joie de soutenir la filière ferroviaire Française en annonçant sa présence sur le salon du SIFER […]

CLEARSY participe à la conférence ISOLA 2021 Ferroviaire, R&D, Salons/conférences, Sûreté de fonctionnement

Pour le 10e symposium international sur l’exploitation des applications des méthodes formelles, de la vérification et de la validation (ISOLA […]

CLEARSY participera au salon RSSI à Indianapolis en Septembre prochain. Ferroviaire, Salons/conférences

Le « Railway Systems Suppliers » (RSSI) est une association professionnelle qui regroupe plus de 280 entreprises membres du secteur de la […]

CLEARSY PARTICIPE À LA CONFÉRENCE INTERNATIONALE ABZ 2021 Salons/conférences

CLEARSY participe à la “internationale conference on rigorous state based methods” qui aura lieu du 07 au 11 Juin 2011.

smart metro CBTC
CLEARSY participe au congrès mondial SmartMetro (Novembre 2019) et CBTC en tant que sponsor. Ferroviaire, Salons/conférences

Le congrès constitue le lieu de rencontre mondial pour les experts en technologie du métro, du tram et du train […]

third world congress on formal methods Porto
CLEARSY participe au troisième congrès mondial sur les méthodes formelles: FM’19 du 7 au 10 octobre 2019 Salons/conférences

CLEARSY participe au troisième congrès mondial sur les méthodes formelles: FM’19 du 7 au 10 octobre 2019. CLEARSY y fais […]

AFADL – GDR GPL : CLEARSY fera une présentation sur l’Intégration d’outils tiers de preuve automatique dans l’Atelier B Salons/conférences

Les dix-huitièmes journées AFADL (Approches Formelles dans l’Assistance au Développement Logiciel) se tiendront du 11 au 14 juin 2019 à […]