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/2017/newsitem/8966/22-
 --27-August-2017-International-Summer-School-for-P
 roof-Theory-in-First-order-Logic-Funchal-Madeira-P
 ortugal
DTSTAMP:20170428T141237
SUMMARY:International Summer School for Proof Theo
 ry in First-order  Logic, Funchal, Madeira, Portug
 al
DTSTART;VALUE=DATE:20170822
DTEND;VALUE=DATE:20170827
LOCATION:Madeira, Portugal
DESCRIPTION:The Kurt Gödel Society will host a sum
 mer school on Proof Theory in First-Order Logic at
  the University of Madeira, Funchal, Madeira from 
 August 22 to August 27.  The summer school targets
  master and doctoral students in Logic, Computer S
 cience and Mathematics with a strong interest in L
 ogic and Proof Theory. We particularly encourage s
 tudents to apply to student lessons in order to pr
 esent their ongoing research, but the event is ope
 n to all interested students.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The&nbsp;<a hr
 ef="https://kgs.logic.at/" target="_blank">Kurt Gö
 del Society</a> will host a summer school on Proof
  Theory in First-Order Logic at the University of 
 Madeira, Funchal, Madeira from August 22 to August
  27.</p>\n\n  <p>The summer school targets master 
 and doctoral students in Logic, Computer Science a
 nd Mathematics with a strong interest in Logic and
  Proof Theory. We particularly encourage students 
 to apply to student lessons in order to present th
 eir ongoing research, but the event is open to all
  interested students.</p>\n
URL:https://kgs.logic.at/madeira/
END:VEVENT
END:VCALENDAR