Nous sommes ravis d’annoncer la participation de Systerel à la prochaine édition d’Horizon Mathématiques, la conférence annuelle organisée par la Fondation Sciences Mathématiques de Paris.
Cet événement se déroulera le 27 mars 2024 à l’Amphithéâtre Hermite de l’IHP à Paris et réunira des mathématiciens, des scientifiques issus du monde industriel et des spécialistes d’autres disciplines autour du thème : « Preuve mathématique et sûreté logicielle ».
À cette occasion, un de nos experts prendra la parole pour présenter les multiples cas d’usage des méthodes formelles chez Systerel. Forts d’une grande expérience dans le domaine de la mise en œuvre industrielle des méthodes formelles, nous sommes fiers de contribuer activement à ces échanges.
Pour plus d’informations sur Horizon Maths 2024 et pour vous inscrire, consultez le lien ci-dessous : https://sciencesmaths-paris.fr/evenements/horizon-maths