Theorie Kolloquium October 30, 14:00
The Science and Sociology of Mechanizing Mathematics
David Gross, UoC
0.03
SFB 1238 November 04, 14:30
To be announced
Johannes S. Hofmann, MPI-PKS
PH2
SFB 1238 November 18, 14:30
To be announced
Dmytro Afanasiev, Radboud University
PH2