Logic List Mailing Archive

CfR: [today!] Livestream to the Colloquium in Memoriam of Thomas Streicher, 23 April 2025, Germany (online/live stream)

Dear members,

there will be a live stream of the Colloquium in Memoriam of Thomas
Streicher:

https://tu-darmstadt.zoom-x.de/j/64784979228?pwd=Ps5tml9hG5cqoGccja3JQb1gnNgX3e.1
Meeting ID: 647 8497 9228
Code: 965557

Ulrich Kohlenbach

> Dear members,
>
> on April 23, 17:15-19:30, there will be a special colloquium in memory 
> of Professor Thomas Streicher held at the Department of Mathematics of 
> TU Darmstadt with two talks by Professors Martin Hyland (Cambridge) 
> and Jaap van Oosten (Utrecht).
>
> For more information see:
>
> https://www.mathematik.tu-darmstadt.de/fb/aktuelles/news/news_details_
> 15104.en.jsp
>
> Ulrich Kohlenbach
> TU Darmstadt




--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php