Thomas Streicher Colloquium in memoriam (04/23)

Thomas Streicher Colloquium in memoriam (04/23)

[Jonathan Weinberger]

[-- Attachment #1: Type: text/plain, Size: 1278 bytes --]

To the memory of Thomas Streicher (1958–2025), the Department of Mathematics, TU Darmstadt, holds a colloquium this week on Wednesday, April 23, from 5:15 PM (CEST) that can be joined via Zoom:
https://www.mathematik.tu-darmstadt.de/fb/aktuelles/news/news_details_15104.en.jsp<https://url.au.m.mimecastprotect.com/s/Nz0GC81Vq2C691jJgUnfxcy_7Dt?domain=mathematik.tu-darmstadt.de>

The speakers are (see above link for abstracts):

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



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 5925 bytes --]