Turing's Legacy in Mathematics and Computer Science

The 2012 British Mathematical Colloquium will take place at the University of Kent 16-19 April 2012, in the centenary year of Alan Turing's birth. Solomon Feferman (Stanford) will give a plenary presentation on mathematical aspects of Turing's work and Andrew Hodges,  author of "Alan Turing: the Enigma", will give a public lecture on Turing's life and work. Other lectures will be given by David Harel (Weizmann Institute of Science) on modelling biological systems and Sue Black (UCL) on Blectchley Park.

This workshop - which will take place on the afternoons of 17 and 18 April - seeks participants from mathematics, computer science, artificial intelligence, philosophy and biosciences to address Turing's legacy in these fields. Talks are typically 30 minutes, but short talks and demonstrations as well as other formats, are actively encouraged.

Submissions for the workshop to be send to SImon Thompson, School of Computing, University of Kent: email[email protected]