Institutskolloquium

Das Kolloquium besteht aus zwei 45-minütigen bis einstündigen Vorträgen mit einer Teepause dazwischen. Ziel ist es, einem gemischten Publikum - dessen Forschungsgebiete von der Statistik bis zur algebraischen Topologie reichen können - eine pädagogische Einführung in ein Thema zu bieten, die am Ende des Vortrags zur Präsentation neuer Ergebnisse führt.

17.12.2025, 14:00 - 16:00  –  Campus Golm, Building 9, Room 2.22 and via Zoom
Institutskolloquium

Formalising Mathematics: differential geometry and number theory in the Lean proof assistant

María Inés Frutos Fernández and Michael B. Rothgang (Uni Bonn)

14:00  Michael Rothgang (Uni Bonn):  Formalising differential geometry in Lean.
15:00
  Tea and Coffee Break
15:30  María Inés de Frutos Fernández (Uni Bonn):  Number Theory in the Lean Theorem Prover.

...  mehr erfahren

14.01.2026, 14:00 - 16:00  –  Campus Golm, Building 9, Room 2.22 and via Zoom
Institutskolloquium

TBA

Christian Mercat (Lyon), N.N.

TBA

mehr erfahren