Program

Monday 11 November

09:30 Welcome address
9:40 Matthias Baaz: Note on Globally Sound Analytic Calculi for Quantifier Macros
10:25-11:00 Coffee Break
11:00 Dominique Larchey-Wendling: Hilbert’s Tenth Problem in Coq slides
11:45 Francesca Gulisano: Resolving conflicting obligations in Mimamsa: a sequent based approach
12:30-14:00 Lunch
14:00 Work Groups I: Identify research topics to investigate in small groups in Work Groups II and III
14:30 Daniel Méry: Relating Labelled and Label-Free Bunched Calculi in BI Logic slides
15:15-15:45 Coffee Break
15:45 Revantha Ramanayake: Bunched Hypersequent Calculi for Distributive Substructural Logics slides
16:30 Timo Lang: Bounded sequent calculi via hypersequents slides
17:15 END OF SESSION

19:30 WORKSHOP DINNER at Gigerl (Rauhensteingasse 3, 1010 Vienna)

Tuesday 12 November

10:00 Sara Negri: Proof analysis for the logics of agency: the deliberative STIT slides
11:00-11:30 Coffee break
11:30 Kees van Berkel: Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics slides
12:15 Luigi Santocanale: Residuated lattices of join-continuous endofunctions of chains, ... and the Fibonacci numbers.
13:00-15:00 Lunch
15:00 Work Groups II
16:00 Roman Kuznets: Translating Quantitative Semantic Bounds into Nested Sequents
16:45 Tim Lyon: On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems slides
17:30 END OF SESSION

Wednesday 13 November

9:30 Guido Governatori: Combining Modalities and Substructural conclusions slides
10:30-11:00 Coffee Break
11:00 Work Groups III
12:30-14:15 Lunch
14:15 Bjoern Lellmann: Nested sequents and countermodels for monotone modal logic slides
15:00 Tiziano Dalmonte: Countermodel construction via optimal hypersequent calculi for non-normal modal logics slides
15:45 END OF SESSION