Logic List Mailing Archive

"Wormshop": Proof Theory, Modal Logic & Reflection Principles

31 Oct - 3 Nov 2023
Bern, Switzerland

Call for Contributed Talks:

Workshop on Proof Theory, Modal Logic and Reflection Principles (also known as the "Wormshop")

Date: Tuesday, October 31 -- Friday, November 3, 2023;
Location: Bern, Switzerland.
Webpage: https://wormshop2023.inf.unibe.ch<https://wormshop2023.inf.unibe.ch/>

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 foundations of mathematics. Their 
study moreover requires the interaction of several disciplines in 
mathematical 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 advances and foster new collaborations. 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 proofs
- Computability and complexity

The early registration fee consists of CHF 200. There is a discount for 
students. Unfortunately, we cannot offer support for travel and 

This edition of the workshop is the sixth in the series. The previous 
conferences took place in Barcelona (2012), Mexico City (2014), Tbilisi 
(2016), Moscow (2017), and Barcelona (2019).

Abstracts for contributed talks may be submitted via EasyChair. The 
abstract should be uploaded as pdf file, the length should not exceed one 

Important Dates:
Deadline for submission of abstracts: 31. Aug 2023
Notification acceptance of abstracts: 11. Sep 2023
Early Registration Deadline: 30. Sep 2023
Final Registration Deadline: 20. October 2023

[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by the Division for Logic, Methodology and Philosophy of Science and Technology (DLMPST) in cooperation with the ILLC at the Universiteit van Amsterdam