Home page

Kavli Royal Society International Centre
Chicheley Hall: 12 - 15 June, 2012

THE INCOMPUTABLE is a major workshop of the 6-month Isaac Newton Institute programme - "Semantics and Syntax: A Legacy of Alan Turing" (SAS).

THE INCOMPUTABLE is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. It is held in association with the Turing Centenary Conference (CiE 2012) in Cambridge the following week, which will run up to the June 23rd centenary of Turing's birth, and will culminate with a birthday celebration at Turing's old college, King's College, Cambridge.

THE INCOMPUTABLE is unique in its focus on the mathematical theory of incomputability, and its relevance for the real world. This is a core aspect of Turing's scientific legacy - and this meeting for the first time reunites (in)computability theory and 'big science' in a way not attempted since Turing's premature passing. In 2012, the annual Workshop on Computability Theory is being organised in conjunction with The Incomputable, in association with participants of the research project Computability with Partial Information, supported by the Bulgarian National Science Fund.

Chicheley Hall is a truly extraordinary venue for the meeting, beautifully maintained by the Royal Society, and offering superb facilities for the talks, accommodation, and informal discussions. Set in 80 acres of country landscape, it offers comfort, free wifi throughout, a bar open to 12 or later each night, and many other comforts and opportunities for exciting and novel interactions.

THE INCOMPUTABLE, generously supported by the John Templeton Foundation, promises to be a historic event, bringing the mathematical theory of incomputability centre-stage once again. Attendance is limited to 120 participants - up to 60 housed on-site - so early booking is advised. The final deadline for registration is Friday 16 March - after then new registrants will be added to a waiting list.

To go to the registration page, just click on: register and follow the instructions.

Invited Plenary Speakers:

Samson Abramsky (Oxford)
Fay Dowker (London)
Philip Maini (Oxford)
Cris Moore (Santa Fe)
Theodore A Slaman (Berkeley)
Vlatko Vedral (Oxford)
Martin Davis (Berkeley/New York)
Seth Lloyd (MIT)
Yuri Matiyasevich (St Petersburg)
István Németi/ Hajnal Andréka (Budapest)
Robert I Soare (Chicago)

Invited Special Session Speakers:

Klaus Ambos-Spies (Heidelberg)
Mark Bishop (Goldsmiths)
Douglas Cenzer (Gainesville)
Bob Coecke (Oxford)
Vincent Danos (Edinburgh)
Steven Ericsson-Zenith (Palo Alto)
Sy Friedman (Vienna)
Noam Greenberg (Wellington)
Valentina Harizanov (Washington)
Mark Hogarth (Cambridge)
Julia Knight (Notre Dame)
Antonin Kucera (Prague)
Giuseppe Longo (Paris)
Antonio Montalban (Chicago)
Mehrnoosh Sadrzadeh (Oxford)
Aaron Sloman (Birmingham)
Ivan Soskov (Sofia)
Christof Teuscher (Portland)
Kumaraswamy (Vela) Velupillai (Trento)
Philip Welch (Bristol)
Marat M Arslanov (Kazan)
Cristian Calude (Auckland)
Peter Cholak (Notre Dame)
José Félix Costa (Lisbon)
Rodney Downey (Wellington)
Luciano Floridi (Hertfordshire/Oxford)
Sergey Goncharov (Novosibirsk)
Joel David Hamkins (CUNY)
Denis Hirschfeldt (Chicago)
Elham Kashefi (Edinburgh)
Antonina Kolokolova (Newfoundland)
Andrew Lewis (Leeds)
Ursula Martin (London)
André Nies (Auckland)
Richard A Shore (Cornell)
Andrea Sorbi (Siena)
Alexandra Soskova (Sofia)
John Tucker (Swansea)
Peter Wegner (Brown)
Jiří Wiedermann (Prague)

Scientific advisers:

Cristian Calude (Auckland)
Luciano Floridi (Hertfordshire/Oxford)
Rodney Downey (Wellington)
Jiri Wiedermann (CAS Prague)

SAS Scientific Advisory Committee:

Samson Abramsky (Oxford)
Jan Denef (Leuven)
Arjen Lenstra (EPFL)
Jacques Stern (ENS Paris)
Stephen Cook (Toronto)
Martin Hyland (Cambridge)
Angus MacIntyre (Queen Mary, London)
Hugh Woodin (UC Berkeley)


S Barry Cooper (Leeds) Mariya Soskova (Sofia)



Chicheley tree brain Mandelbrot set ATY

The Alan Turing Year Isaac Newton Institute John Templeton Foundation Computability in Europe IFCoLog JLC Microsoft Research Cambridge CPI

websites: Barry Cooper 2012-08-23 Valid HTML 4.01! Valid CSS!