24 April 2018
Amsterdam, The Netherlands
24 April 2018, Workshop on Set Theory and Theoretical Computer Science Amsterdam, The Netherlands Date & Time: Tuesday 24 April 2018, 15:30-18:30 Location: Vondelzaal (Universiteitsbibliotheek room C1.08, Singel 425) In connection with Hugo Nobrega's PhD defense (Tuesday, April 24, at noon at the Agnietenkapel), we are having a small workshop with talks by some of the members of his thesis committee on April 24. Everyone is cordially invited to join! The program is currently planned as follows: 15:30 - 16:15 Vasco Brattka, TBA 16:15 - 17:00 Jacques Duparc, TBA 17:00 - 17:45 Jouko Vaeaenaenen, "An extension of a theorem of Zermelo" 17:45 - 18:30 Arno Pauly, TBA For more information, see http://hugonobrega.github.io/activities/workshop.html or contact Hugo Nobrega at hugonobrega at gmail.com. -- [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