Conférences  >  Mathématiques  >  Mathématiques générales et evénement multidisciplinaires  >  Allemagne

Sélecionner un pays
1
Lean for the Curious Mathematician 2023 – Colloquium
07 sep 2023 - 08 sep 2023 • Heinrich Heine University Düsseldorf, Düsseldorf, Allemagne
Résumé:
Are you curious what the excitement around the proof assistant Lean is all about? Are you intrigued by recent successes in the formalization of deep mathematical theorems, and would like to understand more concretely what this formalization entails? Do you find yourself wondering how far your favorite area of mathematics is still away from being formalized, and what lies ahead?

Then Lean for the Curious Mathematician is for you! The 2023 edition will comprise two consecutive but independent events: an intensive four-day tutorial (listed separatly), and a shorter colloquium for the impatient (this listing). The colloquium will showcase recent formalization and teaching projects with Lean. It will give an impression of the current developments in computer-assisted theorem proving and invite to reflect on its future role in mathematics.

Identifiant de l'évènement:
1560856


Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Y'a pas de suivi | Y'a pas de pop-ups | Y'a pas d'animations
Dernière mise à jour: 4 juin 2023