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/2019/newsitem/11261/5-
--8-November-2019-Workshop-on-Proof-Theory-Modal-L
ogic-Reflection-Principles-Barcelona-Spain
DTSTAMP:20191028T015726
SUMMARY:Workshop on Proof Theory, Modal Logic, & R
eflection Principles, Barcelona, Spain
DTSTART;VALUE=DATE:20191105
DTEND;VALUE=DATE:20191108
LOCATION:Barcelona, Spain
DESCRIPTION:We are proud to announce the lustrum e
dition of the international workshop "Proof Theory
, Modal Logic and Reflection Principles." The work
shop (also known as the "Wormshop") will take plac
e at the University of Barcelona from Tuesday, Nov
ember 5 until Friday, November 8, 2019. The tradi
tion of modal logics inspired on the notion of for
mal proof dates back to Gödel, but their study has
gained great momentum in the last decade due to n
ovel applications in the foundations of mathematic
s. Their study moreover requires the interaction o
f several disciplines in mathematical logic and be
yond, including computational logic, proof theory,
and point-set topology. The aim of this workshop
is to bring together experts in relevant fields i
n order to discuss recent advances and foster new
collaborations.
X-ALT-DESC;FMTTYPE=text/html:\n We are proud t
o announce the lustrum edition of the internationa
l workshop "Proof Theory, Modal Logic and Ref
lection Principles." The workshop (also known
as the "Wormshop") will take place at t
he University of Barcelona from Tuesday, November
5 until Friday, November 8, 2019.

\n\n The
tradition of modal logics inspired on the notion o
f formal proof dates back to Gödel, but their stud
y has gained great momentum in the last decade due
to novel applications in the foundations of mathe
matics. Their study moreover requires the interact
ion of several disciplines in mathematical logic a
nd beyond, including computational logic, proof th
eory, and point-set topology.

\n\n The aim
of this workshop is to bring together experts in r
elevant fields in order to discuss recent advances
and foster new collaborations.

\n
URL:http://www.phil.uu.nl/~jjoosten/events/2019wor
mshop/
CONTACT:Eduardo Hermo-Reyes at ehermo.reyes at ub.
edu
END:VEVENT
END:VCALENDAR