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  <p>We are proud t
 o announce the lustrum edition of the internationa
 l workshop &quot;Proof Theory, Modal Logic and Ref
 lection Principles.&quot; The workshop (also known
  as the &quot;Wormshop&quot;) will take place at t
 he University of Barcelona from Tuesday, November 
 5 until Friday, November 8, 2019.</p>\n\n  <p>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.</p>\n\n  <p>The aim 
 of this workshop is to bring together experts in r
 elevant fields in order to discuss recent advances
  and foster new collaborations.</p>\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