Wednesday 16 June
9:00 Opening
Session (9:15-10:00)
9:15-10:00 Revantha Ramanayake : Step back from the subformula property
10:00-10:30 Break
Session (10:30-12:00)
10:30-11:15 Tim Lyon : Nested Sequents for Intuitionistic Modal Logics via Structural Refinement
11:15-12:00 Iris van der Giessen : Proving uniform interpolation via nested sequents
12:00-13:30 Lunch
13:30-15:00 Discussion: only for TICAMORE project members
Session (15:00-15:45)
15:00-15:45 Valeria de Paiva: Constructive Modalities (INVITED TALK)
15:45-16:00 Break
Session (16:00-17:30)
16:00-16:45 Nicola Olivetti : Proof theory of constructive modal logics
16:45-17:30 Elaine Pimentel : Hypersequent calculi for non-normal modal and deontic logics (INVITED TALK)
Thursday 17 June
Session (9:45-10:30)
9:45-10:30: Dominique Larchey-Wendling : Synthetic Undecidability of MSELL via FRACTRAN mechanised in Coq
10:30-11:00 Break
Session (11:00-12:30)
11:00-11:45 Kees van Berkel : What is the (potential) role of proof theory for normative reasoning?
11:45-12:30 Tiziano Dalmonte : Proof-theory of agency logics of bringing-it-about
12:30-14:30 Lunch
Session (14:30-16:00)
14:30-15:15 Alessio Guglielmi : Concerto pour une Voix (INVITED TALK)
15:15-16:00 Dale Miller : Contexts in sequents as indexed storage (INVITED TALK)
16:00 Closing
16:15 Final discussion: only for TICAMORE project members