5 - 8 November 2019, Workshop on Proof Theory, Modal Logic, & Reflection Principles, Barcelona, Spain

We are proud to announce the lustrum edition of the international workshop "Proof Theory, Modal Logic and Reflection Principles." The workshop (also known as the "Wormshop") will take place at the University of Barcelona from Tuesday, November 5 until Friday, November 8, 2019.

The tradition of modal logics inspired on 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.