Logic List Mailing Archive

CfP: [extended deadline]: 7th edition of the "Wormshop", 2-5 September 2024, Ghent (Belgium)

-- Extended deadline: 25th of July --

Call for Contributed Talks:

Workshop on Proof Theory, Modal Logic and Reflection Principles (also known
 as the "Wormshop")
Date: Monday, September 2nd  to Thursday, September 5th 2024.
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 (extended) deadline for the submission of an abstract is the 25th o
f July 2024.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php