Institute Colloquium

The Colloquium comprises of two 45 min to one hour talks with a tea break in between. The aim is to offer to a mixed audience - whose fields of research can range from statistics to algebraic topology - a pedagogical introduction to a topic leading to the presentation of new results at the end of the talk.

 

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