11-15 Sep 2018
Leeds, England
Conference: "DAS KONTINUUM - 100 years later". School of Mathematics, University of Leeds, 11th September (arrival) ? 15th September 2018 (departure). The conference will feature recent research in predicativity. It will bring together mathematicians, computer scientists and philosophers of mathematics working in areas related to the legacy of Hermann Weyl, on this centennial anniversary of the publication of Das Kontinuum. Confirmed speakers thus far include: Peter Aczel (University of Manchester, UK) Bahareh Afshari (University of Gothenburg, Sweden) Laura Crosilla (University of Birmingham, UK) Michael Detlefsen (University of Notre Dame, USA) Gerhard Jäger (University of Berne, Switzerland) Graham E. Leigh (University of Gothenburg, Sweden) Øystein Linnebo (Univeristy of Oslo, Norway) Maria E. Maietti (University of Padua, Italy) Per Martin-Löf (University of Stockholm, Sweden) Takako Nemoto (Japan Advanced Inst. of Science &Tech., Japan) Stephen Simpson (Vanderbilt, Nashville, USA) Nik Weaver (Washington Univ., St. Louis, USA) For details and registration visit: https://weyl100.wordpress.com/ Organisers: Laura Crosilla (Birmingham) , Michael Rathjen (Leeds), Stan Wainer (Leeds), Jack Woods (Leeds). -- [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