Konferenzen  >  Mathematik  >  Allgemeine wissenschaftliche Mathematik und fachübergreifende Veranstaltungen  >  Deutschland

Wählen Sie ein Land aus
1
Lean for the Curious Mathematician 2023 – Colloquium
07. Sep 2023 - 08. Sep 2023 • Heinrich Heine University Düsseldorf, Düsseldorf, Deutschland
Zusammenfassung:
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.

Eintrags-ID:
1560845


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Kein Tracking | Keine Pop-ups | Keine Animationen
Stand vom 4. Juni 2023