From: Samson Abramsky <samson.abramsky@cs.ox.ac.uk>
To: <categories@mta.ca>
Subject: ROBIN GANDY centenary colloquium: final announcement
Date: Mon, 3 Feb 2020 21:47:42 +0000 [thread overview]
Message-ID: <E1iz1vG-0001wO-F0@rr.mta.ca> (raw)
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
Andrew Hodges (Oxford) "In search of lost time: Robin Gandy and Alan Turing”
Martin Hyland (Cambridge) "Robin Gandy's Intellectual Style"
Jeff Paris (Manchester). "The Pure Inductive Logic Program, and some memories of Robin"
Göran Sundholm (Leiden) "The Proof Theory of Robin Gandy"
Christine Tasson (Paris). "The Full Abstraction problem: 40 years of research"
Philip Welch (Bristol). "The Spector-Gandy theorem and its descendants: a commentary"
Marianna Antonutti Marfori (Munich) "Computability in principle and in practice: Robin Gandy's Philosophy of Mathematics”
Dana Scott (Berkeley) Video presentation: “Remembering Robin"
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, a buffet lunch and a drinks reception.
The event is free to Wolfson members. For others the registration fee is £30.
There is also the option to register for the conference dinner. This is £35 without wine, £45 including wine.
The deadline for registration is February 10th.
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.ox.ac.uk>
This event is made possible by support from Wolfson College, the Oxford University Departments of Mathematics, Computer Science and Philosophy, and the British Logic Colloquium.
_______________________________________________
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2020-02-03 21:47 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1iz1vG-0001wO-F0@rr.mta.ca \
--to=samson.abramsky@cs.ox.ac.uk \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).