BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/112
61/5---8-November-2019-Workshop-on-Proof-Theory-Mo
dal-Logic-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