Theorie Kolloquium October 16 2026, 16:30 0.03
To be announced
Frank Pollmann, TU Munich
Theorie Kolloquium October 23 2026, 16:30 0.03
To be announced
Shreya Vardhan, Caltech
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