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

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".

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).

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.