
Symposium: » Home » Organization » Contact » Keynote speakers » Programme » Registration » Location » Accommodation » Karlsruhe Alan Turing links: » Alan Turing Jahr 2012 der GI » Alan Turing Year 2012 
The Institute of Cryptography and Security and the Institute of Theoretical Informatics of Karlsruhe Institute of Technology 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. In the first half of the 20th Century several attempts to formalize the notion of computability led to the following results:
(To go back click here). 
Diese Veranstaltung wird unterstützt durch das Karlsruhe House of Young Scientists (KHYS) und
die Karlsruher Universitätsgesellschaft e.V. 