Mathematik
Mathematisches Kolloquium in memoriam Professor Thomas Streicher
Wann?
23. April 2025, 17:15-19:30
Wo?
Hörsaal der Kernphysik
S2|14-24
Schlossgartenstr. 9
64289 Darmstadt
Hörsaal der Kernphysik
, S2|14-24
, Schlossgartenstr. 9
, 64289 Darmstadt
Veranstalter
FB Mathematik
logik@mathematik.tu-darmstadt.de
Kontakt
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/default_255.jpg