Logic List Mailing Archive

CfP: Wormshop: Workshop on Proof Theory, Modal Logic and Reflection Principles, 2-5 September, , Ghent (Belgium)

Call for Contributed Talks:

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

Date: Monday, September 2ndto Thursday, September 5th2024.
Location: Ghent, Belgium.
Webpage: https://wormshop2024.ugent.be/

The tradition of modal logics inspired by the notion of formal proof dates 
back to Gdel, but their study has gained great momentum in the last deca
de due to novel applications in the foundations of mathematics. Their study
 moreover requires the interaction of several disciplines in mathematical l
ogic 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 inc
lude but are not restricted to:

- Provability logics and algebras
- 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

Although registration is not yet open, the subscription fee will be 80 euro
s (except for students at a Flemish institution, for which participation is
 covered by the Ghent Doctoral Schools). Unfortunately, we cannot offer fin
ancial support for travel and accommodation.

This edition of the workshop is the seventh in the series. The previous con
ferences took place in Barcelona (2012), Mexico City (2014), Tbilisi (2016)
, Moscow (2017), Barcelona (2019), and Bern (2023).

Abstracts for contributed talks may be submitted via EasyChair. The abstrac
t should be uploaded as a pdf file, and the length should not exceed one pa
ge. The deadline for the submission of an abstract is the 15thof July 20
24.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php