announcement: Robin Gandy Centenary Colloquium

announcement: Robin Gandy Centenary Colloquium

[samson.abramsky]

ROBIN GANDY CENTENARY COLLOQUIUM 
Saturday 22 February 2020

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 web page at
https://www.wolfson.ox.ac.uk/event/gandy-colloquium-0 <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 <https://www.oxforduniversitystores.co.uk/short-courses/computer-science/events/gandy-colloquium>
The registration includes refreshment breaks and a buffet lunch.

The event is free to Wolfson members. For others the early registration fee is £10. However, places are limited and the fee can only be kept at this level for the first 50 people who register. After this it will be increased to £30.
There is also the option to register for the conference dinner. This is £35 without wine, £45 including wine.

Organizing Committee: Samson Abramsky (Chair), Daniel Isaacson, Jonathan Pila, and Alex Wilkie.

For enquiries, contact Karen Barnes, karen.barnes@cs.ox.ac.uk <mailto:karen.barnes@cs.oc.ac.uk>.

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]