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 3, INF 205).
Schedule
| Date | Speaker | Institution |
|---|---|---|
| 20.10.2026 | Loïc Pujet | Université de Strasbourg |
| 17.11.2026 | ||
| 19.01.2027 (TBC) |
Titles and abstracts
Loïc Pujet (Strasbourg) - 20.10.2026
TBA
(TBA)