[TYPES/announce] Call for papers: Workshop on Turing's Legacy at BMC 2012, Canterbury, UK

Simon Thompson S.J.Thompson at kent.ac.uk
Tue Dec 13 16:20:34 EST 2011

Workshop on Turing's Legacy in Mathematics and Computer Science

BMC 2012, Canterbury, Kent, 16-19 April 2012

Call for Contributions

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 s.j.thompson at kent.ac.uk

More details of the BMC at 

Online registration for the BMC is now available at

Simon Thompson | Professor of Logic and Computation 
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thompson at kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt

More information about the Types-announce mailing list