Turing's Worlds, a celebration of the Alan Turing centenary, 23-24 June 2012 in Oxford, UK

[Jonathan Bowen]

An event at the Department of Continuing Education, University of
Oxford, of possible interest to computer scientists in the field of
software engineering and formal methods. See http://www.conted.ox.ac.uk/G100-20
for further information and online booking.

Alan Mathison Turing was born on 23 June, 1912 - exactly one hundred
years before this weekend meeting which celebrates his life and
achievements. Although most well-known for his work at Bletchley Park
in the pioneering days which saw the birth of modern practical
computing; Turing had achieved fame well before the second world war,
with a seminal account of theoretical computation and his solution to
the Entscheidungsproblem. An Olympic-class marathon runner, whose
refusal to conform to the narrow sexual standards of the day led to
persecution and an early death - Turing did fundamental research on
Artificial Intelligence, Computer Programming and even Mathematical
Biology.

This weekend attempts a rounded view of a polymath, one of the great
mathematicians of the twentieth century, his life and his times. We
will have a number of very distinguished speakers who have themselves
researched in some of the areas that Turing pioneered but our aim is
an accessible and informative account of Turing's multifarious
achievements.

This weekend school is offered in associations with the British
Society for the History of Mathematics.