The next seminar of our Interdisciplinary Thematic Institute (ITI) IRMIA++ will be held this Thursday October 20th at 09:00 am, both in the IRMA conference room and on BBB.
The talk will be given by: Julien NARBOUX (ICube).
Title: Mechanical verification of proofs in geometry
BBB link: https://bbb.unistra.fr/b/hum-51d-suf-mzq
Abstract: The first part will consist of a short introduction to the field of computer verified proofs. Why verify proofs with a computer? what can be verified? what are the challenges? In a second part, I will give an overview of our formalizations concerning the foundations of geometry based on the axiom systems of Hilbert, Tarski and Euclid. In particular, I will present a joint work with Michael Beeson and Freek Wiedijk which consisted in mechanically verifying the proofs of the first book of Euclid's Elements while trying to stay as close as possible to the original proofs. I will discuss the classification of 34 versions of the axioms of parallels (joint work with Pierre Boutry). We will finish by presenting a syntactic proof of the independence of the axiom of parallels (joint work with Michael Beeson and Pierre Boutry).
Bio: Julien Narboux is Maître de Conférences at the Université de Strasbourg, and pursues his research at ICube (IGG team).
His research interests include formal proofs and formalisation of foundations of geometry and applications.
He is especially interested in automated reasoning (in particular in geometry) and using proof assistants for teaching.
Next seminar: November 24, 2022 at 09:00 am : Pierre Ocvirk (ObAS)
La conférence EGC (Extraction et Gestion des Connaissances) s’est déroulée du 27 au 31 janvier 2025...
Nous sommes fiers de voir les travaux menés au sein du laboratoire ICube contribuer à une solution...
Du 6 au 11 avril 2025, la communauté internationale du traitement du signal s’est réunie à...
Lors de sa 11ème édition (27 mai – 29 juin 2025), le Street Art Fest Grenoble-Alpes a présenté une...
L’article “Few-shot Text-driven Adaptation of Foundation Models for Surgical Workflow Analysis” de...
💡 Et si les sciences se racontaient à la première personne ? C’est l’idée originale au cœur de...
Que se passe-t-il lorsque l’eau envahit un quartier urbain ? Comment circule-t-elle entre les...
Les 26 et 27 juin 2025, à la Faculté de Chirurgie Dentaire de Strasbourg, se sont tenues les 12ᵉ...
Les 26 et 27 juin 2025, à la Faculté de Chirurgie Dentaire de Strasbourg, se sont déroulées les 12ᵉ...
Les 12ᵉ Journées Scientifiques de la Fédération de Médecine Translationnelle de Strasbourg (FMTS)...
Le 4 juillet dernier, le Département Imagerie, Robotique, Télédétection & Santé (D-IRTS) du...