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

Submission Guidelines

Participants wishing to give a talk are invited to submit an abstract of maximum one page.

Deadline: July 25

Committees

Steering Committee

• Joost Joosten
• Lev Beklemishev
• David Fernandez-Duque

Scientific Committee

• Joost Joosten
• Lev Beklemishev
• David Fernandez-Duque
• Andreas Weiermann
• Fedor Pakhomov
• Iris van der Giessen
• Antonina Kolokolova
• Tatiana Yavorskaya
• Jan Heylen

Organising committee

• Christian Michaux
• Andreas Weiermann
• Fedor Pakhomov
• Mojtaba Mojtahedi
• Giovanni Solda
• Daisie Rock
• Brett McLean
• Konstantinos Papafilippou
• Philipp Provenzano
• Alakh Dhruv Chopra
• Oriola Gjetaj
• Vlad Lazar

Venue

The conference will take place at Ghent University, campus Sterre, Krijgslaan 281, 9000 Gent, Belgium.