Research Seminar on Formal Mathematics
Heidelberg University - Summer semester 2025
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 TBC (SR xxx, INF 205).
Schedule
| Date | Speaker | Institution |
|---|---|---|
| 15.04.2025 | Filippo Nuccio | Université Jean Monnet (Saint-Étienne) |
| 13.05.2025 | ||
| 01.07.2025 | ||
| 15.07.2025 |