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

Wählen Sie ein Land aus
1
ICoMS 2023 — 6th International Conference on Mathematics and Statistics
14. Jul 2023 - 16. Jul 2023 • Leipzig, Deutschland
Zusammenfassung:
ICoMS 2023 is organized to bring together worldwide leading researchers and practitioners interested in advancing the state of the art in Mathematics and Statistics, for exchanging knowledge that encompasses a broad range of disciplines among various distinct communities. It is hoped that researchers and practitioners will bring new prospects for collaboration across disciplines and gain inspiration to facilitate novel breakthroughs. The themes for this conference are thus focused on "Mathematics of Digital Twins - Analysis, Stochastics and Numerics".
Einsendeschluss für Abstracts:
15. Feb 2023
Eintrags-ID:
1541252
Verwandte Fachgebiete:
2
Lean for the Curious Mathematician 2023
04. Sep 2023 - 07. 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 here), followed by a shorter colloquium for the impatient (listed separatedly).

Eintrags-ID:
1560782
3
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:
1560856


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