Horizon Mathématiques

We are delighted to announce Systerel’s participation in the upcoming edition of Horizon Mathématiques, the annual conference organized by the Paris Mathematical Sciences Foundation.

This event will take place on March 27, 2024, at the Hermite Amphitheater of the IHP in Paris and will bring together mathematicians, scientists from the industrial world, and specialists from other disciplines around the theme: “Mathematical Proof and Software Safety.”

On this occasion, one of our experts will speak to present the various use cases of formal methods at Systerel. With extensive experience in the industrial implementation of formal methods, we are proud to actively contribute to these exchanges.

For more information about Horizon Maths 2024 and to register, please visit the link below: https://sciencesmaths-paris.fr/evenements/horizon-maths