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
