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/2015/newsitem/6862/26-
 July---1-August-2015-Hilbert-Bernays-Summer-School
 -on-Logic-and-Computation-Goettingen-Germany
DTSTAMP:20150419T000000
SUMMARY:Hilbert-Bernays Summer School on Logic and
  Computation, Goettingen, Germany
DTSTART;VALUE=DATE:20150726
DTEND;VALUE=DATE:20150801
LOCATION:Goettingen, Germany
DESCRIPTION:The Georg-August-Universität Göttingen
  organizes a "Hilbert-Bernays Summer School on Log
 ic and Computation". This summer school offers a u
 nique opportunity for undergraduate and graduate s
 tudents to experience compelling lectures on Logic
  and Computation.   Encouraged by previous years o
 f success we offer students from all over the worl
 d the possibility to sign up this 1-week (3 ECTS) 
 Summer School course covering topics such as: Göde
 l's Incompleteness Theorems, Recursion and Complex
 ity, Ordinal Analysis, Automatic Reasoning in the 
 Automobile Industry, and Hilbert and Bernays in Gö
 ttingen   For more information, see http://www.mat
 h.uni-goettingen.de/summer
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 The Georg-August-Universit&auml;t G&ouml;ttingen o
 rganizes a\n        &quot;Hilbert-Bernays Summer S
 chool on Logic and Computation&quot;.\nThis summer
  school offers a unique opportunity for undergradu
 ate and\n        graduate students to experience c
 ompelling lectures on Logic and\n        Computati
 on.\n      </p>\n      <p>Encouraged by previous y
 ears of success we offer students from all over\n 
        the world the possibility to sign up this 1
 -week (3 ECTS) Summer School\n        course cover
 ing topics such as:\n      G&ouml;del's Incomplete
 ness Theorems,\n              Recursion and Comple
 xity,\n              Ordinal Analysis,\n          
     Automatic Reasoning in the Automobile Industry
 , and\n              Hilbert and Bernays in G&ouml
 ;ttingen\n      </p>\n    \n      <p>For more info
 rmation, see\n        <a target="_blank" href="htt
 p://www.math.uni-goettingen.de/summer">http://www.
 math.uni-goettingen.de/summer</a>\n      </p>\n   
  
URL:/NewsandEvents/Archives/2015/newsitem/6862/26-
 July---1-August-2015-Hilbert-Bernays-Summer-School
 -on-Logic-and-Computation-Goettingen-Germany
END:VEVENT
END:VCALENDAR