Conférence internationale SBMF 2017
Conférence internationale SBMF 2017 Salons/conférences

CLEARSY participe à la Conférence internationale SBMF 2017 relative aux méthodes formelles. Cette conférence aura lieu du 27 Novembre au 1er […]

Salon des transports publics UITP Ferroviaire, Salons/conférences

Venez nous retrouver sur le salon UITP de Montréal du 15 au 17 mai 2017. Ce salon et congrès mondial […]

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