Mathematics
Mathematisches Kolloquium in memoriam Professor Thomas Streicher
When?
April 23, 2025, 17:15-19:30
Where?
Hörsaal der Kernphysik
S2|14 24
Schlossgartenstr. 9
64289 Darmstadt
Hörsaal der Kernphysik
, S2|14 24
, Schlossgartenstr. 9
, 64289 Darmstadt
Organiser
FB Mathematik
logik@mathematik.tu-darmstadt.de
Contact
Martin Hyland, University of Cambridge: Functional Interpretation and Toposes: memories of working with Thomas Streicher
Jaap van Oosten, Utrecht University: Streicher Algebras - realizability for classical set theories
/globalcontent/veranstaltungskalender/Logik_1739780971536_255.jpeg
Tags
Mathematisches Kolloquium, Mathematik, Numerik, Logic, Logik
