PROGRAMME

Wednesday, 20 November

9.00Registration
9.30 Mai Gehrke Equations as a tool for studying logic fragments
coffee break
11.00 Sebastian Enqvist and Valentin Goranko A temporal logic for concurrent coalitional strategies in multi-player games
11.40 Michał Walicki Circularity in graph normal form
12.20 Clemens Kupke, Johannes Marti and Yde Venema Size matters in the modal mu-calculus
lunch break
14.30 Mads Dam On first-order μ-calculus as a language independent program verification framework
coffee break
16.00 Antti Kuusisto A Turing-complete extension of first-order logic
16.40 Paulo Guilherme Santos and Reinhard Kahle Yablo's paradox revisited
17.20 Mattias Granberg Olsson Truth and fix-points for almost negative formulae
19.00 Public Lindström Lecture: Johan van Benthem Logic and Agency: The Promises and The Challenges

Thursday, 21 November

9.30 Helle Hvid Hansen Complete proof systems for Parikh's Game Logic
coffee break
11.00 Daniyar Shamkanov Non-well-founded derivations in the Godel-Lob provability logic
11.40 Sonia Marin On cut-elimination for non-wellfounded proofs: the case of PDL
12.20 Malvin Gattinger and Yde Venema Interpolation for PDL: an open problem?
lunch break
14.30 Research Lindström Lecture: Johan van Benthem Dynamic Logics of Modal Change
coffee break
16.00 Anupam Das Project announcement: Structure vs Invariants in Proofs (StrIP)
17.00 Panel discussion
19.00 Conference dinner

Friday, 22 November

9.30 Paul-André Melliès Higher-order parity automata
coffee break
11.00 Sorin Stratulat Efficient validation of FOLID cyclic induction reasoning
11.40 Abhishek De, Luc Pellissier and Alexis Saurin Towards circular proof nets
12.20 Daichi Hayashi On Friedman-Sheard theories for recursive realizability
lunch break
14.30 Amina Doumane Bouncing threads for infinitary and circular proofs
coffee break
16.00 Andreas Abel Resolving the circularity of infinite processes via sized coinductive types
16.40 Paul Kindvall Gorbow and Graham E. Leigh The reflective multiverse of set theory
17.20 Stepan Kuznetsov Half a way towards circular proofs for Kleene lattices
Closing