Le 10 mai 2022
Institut Camille Jordan
Villeurbanne, campus de la Doua
salle Fokko du Cloux
Une journée dédiée à la formalisation mathématique.
Le but de cette journée est de réunir des mathématiciens travaillant sur Lean, l’assistant de preuve de la bibliothèque mathlib. Les exposés s’adresseront à un public large : tous les chercheurs curieux des développements récents en formalisation sont bienvenus.
The aim of this workshop is to gather together several mathematicians working on Lean, the proof assistant of the mathematical library mathlib. The talks will focus on engaging all mathematicians who are curious to discover the recent developments of formalization.
ORGANISATEUR / ORGANIZER
Filippo Nuccio, Institut Camille Jordan, Université Jean Monnet
ORATEURS / SPEAKERS
Riccardo Brasca, Institut de Mathématiques de Jussieu-Paris Rive Gauche, Université de Paris,
Johan Commelin, Mathematisches Institut, Albert-Ludwigs-Universität Freiburg,
Floris van Doorn, Laboratoire des Mathématiques d’Orsay, Université de Paris-Saclay,
Sébastien Gouëzel, Institut de Recherche Mathématique de Rennes, Université de Rennes,
Patrick Massot, Laboratoire des Mathématiques d’Orsay, Université de Paris-Saclay.
PROGRAMME / PROGRAM
10h00-11h00 : Patrick Massot TBA
11h15-12h15 : Riccardo Brasca TBA
14h00-15h00 : Sébastien Gouëzel TBA
15h15-16h15 : Johan Commelin TBA
16h30-17h30 : Floris van Doorn TBA
ACTIVITÉE LIÉE AU WORKSHOP / ACTIVITY RELATED TO THE WORKSHOP
Lundi 9 mai 2022, Johan Commelin, Mathematisches Institut, Albert-Ludwigs-Universität Freiburg, parlera au colloquium de l’ICJ
May 9, 2022, Johan Commelin, Mathematisches Institut, Albert-Ludwigs-Universität Freiburg, will give a talk at the ICJ Colloquium
INSCRIPTIONS / REGISTRATIONS
INFORMATIONS PRATIQUES / PRATICAL INFORMATION
Le workshop se déroulera à l’Institut Camille Jordan / Université Claude Bernard Lyon 1,sur le campus de la Doua
bâtiment Braconnier
43, Bd du 11 novembre 1918 à Villeurbanne,
dans la salle Fokko du Cloux (premier étage).
Accès au site de la Doua
The workshop will take place at the Institut Camille Jordan / Claude Bernard Lyon 1 University, La Doua Campus
entrance Braconnier
43, Bd du 11 novembre 1918, Villeurbanne,
in room Fokko du Cloux (1st floor).
How to come
Pour plus d’informations, for further information : Filippo Nuccio (filippo.nuccio @ univ-st-etienne.fr)