Theorie Kolloquium | October 30 2026, 16:30 | 0.03
The Science and Sociology of Mechanizing Mathematics
David Gross, UoC
Theorie Kolloquium | January 15 2027, 16:30 | 0.03
To be announced
Nicolai Lang, University of Stuttgart