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 The Kurt Gö
del Society 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.

\n\n 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.

\n
URL:https://kgs.logic.at/madeira/
END:VEVENT
END:VCALENDAR