Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

20-21 October 2011, COMPUTING 2011: 75 years of Turing machine and lambda calculus, Karlsruhe, Germany

Date: 20-21 October 2011
Location: Karlsruhe, Germany

The Institute of Cryptography and Security and the Institute of Theoretical Informatics of Karlsruhe Institute of Technology (KIT) announce COMPUTING 2011, a symposium devoted to the 75th anniversary of two pioneering works on the theory of computation: "On Computable Numbers, with an Application to the Entscheidungsproblem" by Alan Turing and "An Unsolvable Problem of Elementary Number Theory" by Alonzo Church.

The symposium will review the work of Church and Turing and its influence on contemporary Theoretical Computer Science. Keynote Speakers are Henk Barendregt, Christof Teuscher and Wolfgang Thomas. COMPUTING 2011 will be co-located with Deduktionstreffen 2011 (http://baldur.iti.kit.edu/deduktionstreffen11).

For more information, see http://baldur.iti.kit.edu/Computing2011 or contact Olga Tveretina at

Please note that this newsitem has been archived, and may contain outdated information or links.