Lean in Lyon

Institut Camille Jordan
Villeurbanne, campus de la Doua
salle  Fokko du Cloux

Une journée dédiée à la formalisation mathématique.

65d3ec5b b367 46ee 8d58 2e9c4efa7bf4 Lean in Lyon

Lean in Lyon

Hahn Banah Lean in Lyon

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)

Source




Leave a Reply

Your email address will not be published.


Comment


Name

Email

Url