19th Brazilian Symposium of Formal Methods Exhibitions/conferences

CLEARSY co-organizes the 19th Brazilian Symposium of Formal Methods (http://sbmf2016.imd.ufrn.br/) that will take place in Natal (RN – Brazil), November […]

Reliability, Safety and Security of Railway Systems Exhibitions/conferences, Railway

This is a new conference addressing critical problems faced by the modern railway – how to deliver reliable service to […]

Double-Core SIL4 Architecture Presented During Open Source Innovation Spring (Paris) Exhibitions/conferences

At the occasion of the seminar entitled “Languages and tools for Software Reliability” (May 12th 2016, Jussieu (Paris)) that will […]

Safety-critical Systems Symposium Exhibitions/conferences

At the occasion of the  “Safety-critical Systems Symposium” organized by SCSC  at The Grand Hotel, Brighton (2nd-4th February 2016), CLEARSY […]

CLEARSY organizes the first annual Meeting of the European H2020 Project INTO-CPS, on the 18th and 19th of November 2015 in Marseille. Exhibitions/conferences

The aim of INTO-CPS project is to create an integrated “tool chain” for comprehensive Model-Based Design (MBD) of Cyber-Physical Systems […]

CLEARSY participates to the 5th NEXTSTATION 2015 International Conference on Railway Stations Exhibitions/conferences, Railway

From October 20 to 23, 2015, CLEASRY have the privilege to participate to the 5th NEXTSTATION 2015 International Conference on […]

CLEARSY participated in the prestigious International Conference on Formal Methods, FM 2015 Exhibitions/conferences

CLEARSY participated in the prestigious International Conference on Formal Methods, FM 2015, which was held in Oslo (Norway) from June […]

Sifer 2015 : Come to see us! Exhibitions/conferences, Railway

CLEARSY participates on SIFER 2015,  from 24th till 26th March 2015, in the Grand Palais in Lille. SIFER, has for […]