CLEARSY and UFRN make cooperation agreement to promote international internships. Computer science, R&D, Tools

After more than a decade of collaboration in research and development, CLEARSY and UFRN have signed a cooperation agreement to […]

The formal development tool ATELIER B passes 10,000 downloads! Component, R&D, Tools

Atelier B has just passed the 10,000 annual download mark for the first time. The start of the 2024 academic […]

CLEARSY, a player in artificial intelligence Computer science, Exhibitions/conferences, R&D

We are excited to share that in September, CLEARSY had the opportunity to present our latest work and research in […]

CLEARSY at FM2024 Computer science, Exhibitions/conferences, R&D

CLEARSY attended  FM2024, one of the largest Formal Methods conferences in the world. More than 300 academic and industrial researchers gathered […]

Safe, communicating light infrastructure for renewing track on secondary lines R&D, Railway, Safety

INFRAlight, a winning France 2030 project supported by ADEME, is an innovator in rail infrastructure. It proposes composite material tracks, […]

CLEARSY an innovative player in saving little-used rail lines ERTMS, R&D, Railway, Safety, Tools

New Frugal Rail Signaling (NS2F) is a collaborative project supported by the French government as part of the France Relance […]

9ᵉ ABZ International Formal Methods Conference in Nancy from May 31 to June 2, 2023 Exhibitions/conferences, R&D

CLEARSY specialists will participate in this conference, which we have been particularly keen on since the first one in Nantes […]

The French National Cyber Strategy supports CLEARSY on a safe and secure sovereign computer R&D, Safety

The new French Cyber Campus awards CLEARSY on a safe and secure sovereign computer. The Cyber Campus at PARIS was […]