Logic List Mailing Archive

CfR: Special Colloqium in Memomory of Thomas Streicher, 23.04., Darmstadt (Germany)

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