zurück

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

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