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      <p>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: &quot;On Computable Numbers,
  with an Application to\n      the Entscheidungspr
 oblem&quot; by Alan Turing and &quot;An\n      Uns
 olvable Problem of Elementary Number Theory&quot; 
 by Alonzo\n      Church.\n      </p>\n      <p>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      (<a targe
 t="_blank" href="http://baldur.iti.kit.edu/dedukti
 onstreffen11">http://baldur.iti.kit.edu/deduktions
 treffen11</a>).\n      </p>\n    \n      <p>For mo
 re information, see\n        <a target="_blank" hr
 ef="http://baldur.iti.kit.edu/Computing2011">http:
 //baldur.iti.kit.edu/Computing2011</a>\n        or
  contact Olga Tveretina at <a class="email">olga <
 span class="at">at</span> ira.uka.de</a>\n      </
 p>\n    
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