CLEARSY is proud to participate in Horizon Maths 2024.
It is an initiative of the Fondation Sciences Mathématiques de Paris focusing on “Mathematical Proof and Software Safety” (https://www.sciencesmaths-paris.fr/f/actualites-fr/horizon-maths-2024), held on 27 March 2024, from 9am to 6pm, at the Institut Henri Poincaré, located in the heart of Paris. This one-day event features four enriching thematic sessions and two dynamic round tables, designed to offer a representative overview of current trends and best practices, at the crossroads between academia and industry.
CLEARSY puts societal issues, regulatory needs and technical challenges into perspective in order to explain how and why the reasoned use of formal methods makes it possible to better control the safety of critical systems, which are essential to our society.
The presentation refers to the formal modelling and proof of software and its parameters, as well as to the engineering of safety reasoning.