BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/410
8/20-21-October-2011-COMPUTING-2011-75-years-of-Tu
ring-machine-and-lambda-calculus-Karlsruhe-Germany
DTSTAMP:20110930T000000
SUMMARY:COMPUTING 2011: 75 years of Turing machine
and lambda calculus, Karlsruhe, Germany
DTSTART;VALUE=DATE:20111020
DTEND;VALUE=DATE:20111021
LOCATION:Karlsruhe, Germany
DESCRIPTION:The Institute of Cryptography and Secu
rity and the Institute of Theoretical Informatics
of Karlsruhe Institute of Technology (KIT) announc
e COMPUTING 2011, a symposium devoted to the 75th
anniversary of two pioneering works on the theory
of computation: "On Computable Numbers, with an Ap
plication to the Entscheidungsproblem" by Alan Tur
ing and "An Unsolvable Problem of Elementary Numbe
r Theory" by Alonzo Church. The symposium will r
eview the work of Church and Turing and its influe
nce on contemporary Theoretical Computer Science.
Keynote Speakers are Henk Barendregt, Christof Teu
scher and Wolfgang Thomas. COMPUTING 2011 will be
co-located with Deduktionstreffen 2011 (http://bal
dur.iti.kit.edu/deduktionstreffen11). For more i
nformation, see http://baldur.iti.kit.edu/Computin
g2011 or contact Olga Tveretina at olga at ira.uka
.de
X-ALT-DESC;FMTTYPE=text/html:\n The Instit
ute of Cryptography and Security and the Institute
\n of Theoretical Informatics of Karlsruhe In
stitute of Technology\n (KIT) announce COMPUT
ING 2011, a symposium devoted to the 75th\n a
nniversary of two pioneering works on the theory o
f\n computation: "On Computable Numbers,
with an Application to\n the Entscheidungspr
oblem" by Alan Turing and "An\n Uns
olvable Problem of Elementary Number Theory"
by Alonzo\n Church.\n

\n The
symposium will review the work of Church and Turi
ng and\n its influence on contemporary Theore
tical Computer\n Science. Keynote Speakers ar
e Henk Barendregt, Christof Teuscher\n and Wo
lfgang Thomas. COMPUTING 2011 will be co-located w
ith\n Deduktionstreffen 2011\n (http://baldur.iti.kit.edu/deduktions
treffen11).\n

\n \n For mo
re information, see\n http:
//baldur.iti.kit.edu/Computing2011\n or
contact Olga Tveretina at olga <
span class="at">at ira.uka.de\n \n
URL:/NewsandEvents/Events/Conferences/newsitem/410
8/20-21-October-2011-COMPUTING-2011-75-years-of-Tu
ring-machine-and-lambda-calculus-Karlsruhe-Germany
END:VEVENT
END:VCALENDAR