22 Feb 2020
Oxford, England
ROBIN GANDY CENTENARY COLLOQUIUM Saturday 22 February 2020 https://www.wolfson.ox.ac.uk/event/gandy-colloquium-0 See also: https://www.wolfson.ox.ac.uk/content/wolfson-college-salutes-robin-gandy-his-centenary There will be a one-day Colloquium at Wolfson College Oxford. This event celebrates the centenary of Robin Gandy, a leading figure in Mathematical Logic, student and close friend of Alan Turing, Oxford University Reader in Mathematical Logic and a Fellow of Wolfson College. It will be a full day meeting with an outstanding set of speakers, including four of Gandy's former students, and ranging across topics in mathematical logic, philosophy of mathematics, and computer science, as well as personal reflections and historical perspectives. Speakers Marianna Antonutti Marfori (Munich) Andrew Hodges (Oxford) Martin Hyland (Cambridge) Jeff Paris (Manchester) G???ran Sundholm (Leiden) Christine Tasson (Paris) Philip Welch (Bristol) For details of the event, see the attached poster, and the web page at https://www.wolfson.ox.ac.uk/event/gandy-colloquium-0 Registration is required. This can be done at https://www.oxforduniversitystores.co.uk/short-courses/computer-science/events/gandy-colloquium The event is free to Wolfson members. For others there is a registration fee, with a few places at a subsidized registration fee of ???10, after which the registration fee will be ???30. Registration includes buffet lunch, coffee/tea in the morning and afternoon breaks, and a drinks reception. There is also the option to register for the conference dinner, which is ???35 without wine, ???45 with wine. Organizing Committee: Samson Abramsky (Chair), Daniel Isaacson, Jonathan Pila, and Alex Wilkie. For enquiries, contact Karen Barnes, karen.barnes@cs.oc.ac.uk -- [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