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.... 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>