CLEARSY participera à InnoTrans, le rendez-vous mondial des acteurs du Transports, qui se tiendra au Parc des Expositions de Berlin […]

CLEARSY a été invitée (http://issre.net/keynotes) à présenter son expérience quant à l’utilisation de méthodes formelles pour des applications industrielles sûres […]

CLEARSY co-organise la 19ème conférence brésilienne sur les méthodes formelles (http://sbmf2016.imd.ufrn.br/) qui aura lieu du 22 au 25 Novembre 2016 […]

RSSR 2016, conférence internationale sur la fiabilité, sécurité et sûreté des systèmes ferroviaires en relation avec la modélisation, l’analyse la […]

À l’occasion de la journée « Langages et outils pour la fiabilité logicielle »  qui aura lieu le 12/05/2016 à Paris (Jussieu), […]

À l’occasion du salon « Machine to Machine » qui aura lieu les 23 et 24 Mars 2016 à Paris Expo Porte […]

A l’occasion du « Safety-critical Systems Symposium » organisé par SCSC au Grand Hôtel de Brighton du 2 au 4 Février 2016, […]

CLEARSY réalise le dossier de sécurité pour les dispositifs d’évacuation et de désenfumage de la nouvelle rocade L2 de Marseille, […]