ABZ conference confronts the best experts in the field of formal methods with proof from universites and the industry. The […]

CLEARSY attended the ISCLP seminar organized by the DGA as part of its mission “to prepare the future of defense […]

ClearSy is contributing to a technical seminar organized by Newcastle University on 24 October 2013. Formal methods are used worldwide […]

CLEARSY participated to CAI 2013 conference (International Conference on Algebraic Informatics) held in Porquerolles (France) 3-6 September 2013. A talk, […]

CLEARSY attended a Seminar,”Integration of Tools for Rigorous Software Construction and Analysis” (13372),  held at Schloss Dagstuhl in Germany (8-13 […]

CLEARSY is taking part in the AI4FM 2011 workshop, which will be held on 28 and 29 April 2011 at […]

CLEARSY is pleased to announce its participation to the APM-ATS 2011 conference, which will take place from 22 to 26 […]

CLEARSY is pleased to announce its participation to the SIFER 2011 Fair, which will take place from 5th to 7th […]