Logic List Mailing Archive

"The Incomputable"

12-15 Jun 2012
Newport Pagnell, U.K.

Preliminary announcement:

            June 12-15, 2012 - Turing Centenary Workshop on
                         "THE INCOMPUTABLE"
   at the Kavli Royal Society International Centre, Chicheley Hall, UK

              www.mathcomp.leeds.ac.uk/turing2012/inc/

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.

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 100
participants - up to 60 housed on-site - so early booking is advised.

Organisers: S Barry Cooper and Mariya Soskova