SIFER 2017 – Venez nous renconter ! Ferroviaire, Salons/conférences

CLEARSY participe au salon  SIFER 2017, qui se tiendra du 21 au 23 mars 2017, au Grand Palais à Lille. […]

image-psa
CLEARSY organise un séminaire technique à l’Université de Sherbrooke (Québec) le jeudi 20 octobre 2016 de 10h30 à 12h. Salons/conférences

Ce séminaire, intitulé « Logiciel prouvé avec B pour des automatismes sécuritaires à bas coût et à haut niveau d’intégrité », est […]

LCHIP project (Low Cost High Integrity Platform)
CLEARSY présente le projet LCHIP au congrès Lambda Mu de la Maîtrise des Risques – 13 oct à St Malo Salons/conférences

Le projet LCHIP (Low Cost High Integrity Plateform) vise à faciliter le développement de systèmes sécuritaires (logiciel critiques) jusqu’au niveau […]

Venez nous rencontrer lors d’InnoTrans, le rendez-vous mondial des acteurs du Transports Ferroviaire, Salons/conférences

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

CLEARSY is participating to InnoTrans, the leading international trade fair for transport technology Ferroviaire, Salons/conférences

ClearSy is participating to InnoTrans, the leading international trade fair for transport technology, which is held in Messe Berlin from 20 to 23 September, 2016. We look forward to seeing you at InnoTrans on ClearSy booth : stand 103, Hall 4.1.

Conférence ISSRE 2016 Salons/conférences

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

19ème conférence brésilienne sur les méthodes formelles Salons/conférences

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

Fiabilité, Sécurité et Sûreté des Systèmes Ferroviaires Ferroviaire, Salons/conférences

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