BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/896
6/22---27-August-2017-International-Summer-School-
for-Proof-Theory-in-First-order-Logic-Funchal-Made
ira-Portugal
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