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/2016/newsitem/7249/24-
 30-July-2016-Hilbert-Bernays-Summer-School-on-Logi
 c-and-Computation-Goettingen-Germany
DTSTAMP:20160331T000000
SUMMARY:Hilbert-Bernays Summer School on Logic and
  Computation, Goettingen, Germany
DTSTART;VALUE=DATE:20160724
DTEND;VALUE=DATE:20160730
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, in particular the edition 2015 which is
  been a great success, we offer students from all 
 over the world the possibility to sign up this 1-w
 eek (3 ECTS) Summer School course covering topics 
 such as: From Hilbert to Gentzen and beyond, Proof
  mining, lambda-calculus, and Computational conten
 ts of proofs.   Application deadline for financial
  support: April 30, 2016. For more information, se
 e http://www.math.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, in particular the edition 2015\n 
        which is been a great success, we offer stu
 dents from all over the world\n        the possibi
 lity to sign up this 1-week (3 ECTS) Summer School
 \n        course covering topics such as:\n       
  From Hilbert to Gentzen and beyond,\n        Proo
 f mining,\n        lambda-calculus, and\n        C
 omputational contents of proofs.\n      </p>\n    
 \n      <p>Application deadline for financial supp
 ort: April 30, 2016. For more information, see\n  
       <a target="_blank" href="http://www.math.uni
 -goettingen.de/summer">http://www.math.uni-goettin
 gen.de/summer</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2016/newsitem/7249/24-
 30-July-2016-Hilbert-Bernays-Summer-School-on-Logi
 c-and-Computation-Goettingen-Germany
END:VEVENT
END:VCALENDAR