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
