Ecole d’été "Proof assistants and applications"

L'école d'été aura lieu du 31 août au 4 septembre à Strasbourg sur les assistants de preuve et leurs applications. Elle est spécialement construite pour présenter de manière très introductive des sujets d’actualité dans ce domaine. Elle est accessible sans prérequis.

Elle se compose de 5 cours complétés chacun de travaux pratiques ainsi que de 2 exposés. L'école est initialement à destination des étudiants inscrits au DU "Mathématiques et applications : recherche et interactions » de l’Université de Strasbourg mais est ouverte à tous.

Organisation : Pierre Boutry (I-Cube), Laurent Navoret et Laurène Préhaut (IRMA)

Liste des cours :

• Introduction to type theory, Loïc Sujet (Université de Strasbourg)
• Introduction to categorical logic, Thibaut Benjamin (Université Paris Saclay)
• Synthetic homotopy theory, Axel Lungström (University of Nottingham)
• Introduction to Lean: Formalizing Mathematics with Mathlib, Xavier-François Roblot (Université Claude Bernard Lyon I)
• Introduction to transformers and their application to proof assistants, Theo Stoskop (Inria, ENS Lyon)

Date limite d'inscription : vendredi 10 juillet 2026

Pour des questions de capacité de salles lors des travaux pratiques, l'inscription (gratuite mais obligatoire) est soumise à validation par les organisateurs. Priorité sera donnée aux doctorants.

Les modalités d'inscription et les détails de l'école sont disponibles sur la page web de l'évènement.