Topics of interest
- Machine-checked mathematics.
- Proof assistants (Agda, Coq, Lean, etc).
- Type theory.
- Univalent foundations.
- Functional programming languages.
Time and place
The Formal Mathematics seminar meets once a month, on Tuesday from 4:15 to 5:45 PM in Seminar Room TBA (SR xxx, INF 205).
Schedule
| Date | Speaker | Institution |
|---|---|---|
| 21.10.2025 | Artie Khovanov | University of Edinburgh |
| 19.11.2025 | Christian Merten | Utrecht University |
| 09.12.2025 | Yiming Xu | Ludwig-Maximilians-Universität München |
| 13.01.2026 | Sára Juhošová | Technische Universiteit Delft |
| 03.02.2026 | Anatole Dedecker | Université Paris-Cité |
Titles and abstracts
Artie Khovanov (Edinburgh) - 21.10.2025
TBA.
Christian Merten (Utrecht) - 18.11.2025
TBA.
Yiming Xu (Munich) - 09.12.2025
TBA.
Sára Juhošová (Delft) - 13.01.2026
TBA.
Anatole Dedecker (Paris) - 03.02.2026
TBA.