\n

The tradi tion of modal logics inspired by the notion of for mal proof dates back to Gödel, but their study has gained great momentum in the last decade due to n ovel applications in the foundations of mathematic s. Their study moreover requires the interaction o f several disciplines in mathematical logic and be yond, including computational logic, proof theory, and point-set topology.

\nThe aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and fo ster new collaborations.

\n

URL:https://wormshop2023.inf.unibe.ch
END:VEVENT
END:VCALENDAR
Abst racts for contributed talks may be submitted via E asyChair. The abstract should be uploaded as pdf f ile, the length should not exceed one page. Topics include but are not restricted to: Provability lo gics and algebras, Lightweight fragments of modal logics, Proof theory and ordinal analysis, Weak an d strong systems of arithmetic, Modalities in topo logy and set theory, Justification logics and logi cs of proofs, and Computability and complexity.