BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2011/newsitem/4108/20- 21-October-2011-COMPUTING-2011-75-years-of-Turing- 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
\nThe 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 \nFor 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 p> URL:/NewsandEvents/Archives/2011/newsitem/4108/20- 21-October-2011-COMPUTING-2011-75-years-of-Turing- machine-and-lambda-calculus-Karlsruhe-Germany END:VEVENT END:VCALENDAR