1-4 Feb 2020
Bonn, Germany
Dear Colleague, There will be a workshop "Mathematical Language and Practical Type Theory" at the Hausdorff Center of the University of Bonn from February 1, 2020 to February 4, 2020, organized by Tom Hales and myself. Preliminary information about this intense 3 1/2 day event is available at https://www.hcm.uni-bonn.de/events/eventpages/2020/mathematical-language-practical-type-theory-2020/ We would like to invite you to participate in the workshop, and your name is indeed on the invitation list that we have given to the Hausdorff Center. Unfortunately, due to several cases of illness, the Hausdorff administration is currently unable to prepare the required data base and send out official invitations, with details of of the program structure and registration links. We are optimistic that this will happen in one or two weeks from now. This mail is intended to alert you to the event so that you may reserve the dates in your diary. Please note that there will also be my retirement colloquium in the afternoon of January 31, where Tom Hales will give a scientific talk on the Formalization of Mathematics. We hope that you can make it to the workshop! Also please suggest the Scholarship program described on the webpage to interested PhD students. Best regards, Peter Koepke (and Tom Hales) -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam