Wormshop 2024
The 7th Workshop on Proof Theory, Modal Logic and Reflection Principles
Ghent University
September 2–5, 2024
The tradition of modal logics inspired by the notion of formal provability dates back to Gödel. However, their study has gained significant momentum in the last decade due to novel applications in the foundations of mathematics. This study also involves 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 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
Important information
Contributed talks: The call for abstracts is now closed. The deadline
was July 25.
Registration: The registration is open. The fee is 80 €; free for PhD students at a Flemish
university.
Invited Speakers
- Juan Pablo Aguilera
- Ali Enayat (Tutorial)
- Gilda Ferreira
- Raheleh Jalali
- Alex Kavvos
- Mateusz Łełyk (Tutorial)
- Michael Rathjen
- Daniyar Shamkanov
Organization
Steering committee
- Lev Beklemishev
- David Fernández-Duque
- Joost Joosten
Scientific committee
- Lev Beklemishev
- David Fernández-Duque
- Iris van der Giessen
- Jan Heylen
- Joost Joosten
- Antonina Kolokolova
- Fedor Pakhomov
- Andreas Weiermann
- Tatiana Yavorskaya
Organizing committee
- Christian Michaux
- Fedor Pakhomov
- Andreas Weiermann
- Brett McLean
- Mojtaba Mojtahedi
- Daisie Rock
- Giovanni Soldà
- Alakh Dhruv Chopra
- Oriola Gjetaj
- Vlad Lazar
- Konstantinos Papafilippou
- Philipp Provenzano
Sponsors
The Wormshop 2024 is sponsored by UGent Doctoral Schools with the support of the Flemish Government.