Invited Speakers

There will be courses by the following invited speakers:

Anupam Das (University of Birmingham, U.K.)
Cyclic proofs, a primer

Bruno Jacinto (Universidade de Lisboa, Portugal)
Higher-order modal logic and the philosophy of mathematics

Sonja Smets (University of Amsterdam, Netherlands)
Dynamic Epistemic Logic for Formal Epistemology