From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10127 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Samson Abramsky Newsgroups: gmane.science.mathematics.categories Subject: ROBIN GANDY centenary colloquium: final announcement Date: Mon, 3 Feb 2020 21:47:42 +0000 Message-ID: Reply-To: Samson Abramsky Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="118351"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Tue Feb 04 18:25:31 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1iz1x4-000Uf4-7D for gsmc-categories@m.gmane-mx.org; Tue, 04 Feb 2020 18:25:30 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:43268) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1iz1vc-00076B-8A; Tue, 04 Feb 2020 13:24:00 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1iz1vG-0001wO-F0 for categories-list@rr.mta.ca; Tue, 04 Feb 2020 13:23:38 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10127 Archived-At: ROBIN GANDY CENTENARY COLLOQUIUM=20 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=E2=80=9D Martin Hyland (Cambridge) "Robin Gandy's Intellectual Style" Jeff Paris (Manchester). "The Pure Inductive Logic Program, and = some memories of Robin" Go=CC=88ran 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=E2=80=9D Dana Scott (Berkeley) Video presentation: =E2=80=9CRemembering = Robin" For details of the event, see 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/ev= ents/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 = =C2=A330.=20 There is also the option to register for the conference dinner. This is = =C2=A335 without wine, =C2=A345 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 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/ ]