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/2023/newsitem/14394/31
 -October---3-November-2023-Workshop-on-Proof-Theor
 y-Modal-Logic-and-Reflection-Principles-Wormshop-2
 023-Bern-Switzerland
DTSTAMP:20230801T004034
SUMMARY:Workshop on Proof Theory, Modal Logic and 
 Reflection Principles (Wormshop 2023), Bern, Switz
 erland
DTSTART;VALUE=DATE:20231031
DTEND;VALUE=DATE:20231103
LOCATION:Bern, Switzerland
DESCRIPTION:The tradition of modal logics inspired
  by the notion of formal proof dates back to Gödel
 , but their study has gained great momentum in the
  last decade due to novel applications in the foun
 dations of mathematics. Their study moreover requi
 res the interaction of several disciplines in math
 ematical logic and beyond, including computational
  logic, proof theory, and point-set topology.  The
  aim of this workshop is to bring together experts
  in relevant fields in order to discuss recent adv
 ances and foster new collaborations.  Abstracts fo
 r contributed talks may be submitted via EasyChair
 . The abstract should be uploaded as pdf file, the
  length should not exceed one page. Topics include
  but are not restricted to: Provability logics and
  algebras, Lightweight fragments of modal logics, 
 Proof theory and ordinal analysis, Weak and strong
  systems of arithmetic, Modalities in topology and
  set theory, Justification logics and logics of pr
 oofs, and Computability and complexity.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The tradi
 tion of modal logics inspired by 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.</p>\n  <p>The aim of this
  workshop is to bring together experts in relevant
  fields in order to discuss recent advances and fo
 ster new collaborations.</p>\n</div><div>\n  <p>Ab
 stracts for contributed talks may be submitted via
  EasyChair. The abstract should be uploaded as pdf
  file, the length should not exceed one page. Topi
 cs include but are not restricted to: Provability 
 logics and algebras, Lightweight fragments of moda
 l logics, Proof theory and ordinal analysis, Weak 
 and strong systems of arithmetic, Modalities in to
 pology and set theory, Justification logics and lo
 gics of proofs, and Computability and complexity.<
 /p>\n</div>
URL:https://wormshop2023.inf.unibe.ch
END:VEVENT
END:VCALENDAR