Invited Speakers

There will be courses by the following invited speakers:

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

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

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