Program

Booklet for the conference.
Monday May 9th Tuesday May 10th Wednesday May 11th
9:00-9:30 Registration 9:00-10:00 Tutorial by Nina Gierasimczuk: Topological Modelling of Knowledge Change (B) 9:00-10:00 Tutorial by Martin Otto: Bisimulation and Games (B)
9:30-10:30 Tutorial by Nina Gierasimczuk: Topological Modelling of Knowledge Change (A) 10:00-11:00 Tutorial by Ulrich Kohlenbach: Proof Mining: Proof Interpretations and Their Use in Mathematics (A) 10:00-11:00 Tutorial by Ulrich Kohlenbach: Proof Mining: Proof Interpretations and Their Use in Mathematics (B)
10:30-11:30 Tutorial by Mirna Džamonja: Independence Results at the Successors of Singular Cardinals (A) 11:00-11:30 Coffee 11:00-11:30 Coffee
11:30-12:00 Coffee 11:30-12:00 Dino Rossegger: Enumerable Functors 11:30-12:00 Andrei Sipos: Proof mining and families of mappings
12:00-12:30 Eduard Eiben: Using Decomposition-Parameters for QBF: Mind the Prefix! 12:00-12:30 Matthias Hofer: Game Semantical Rules for Vague Proportional Quantifiers 12:00-12:30 Antoine Mottet: Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction
12:30-13:00 Annemarie Borg: Assumptive hypersequent-based argumentation 12:30-13:00 Michał Tomasz Godziszewski: Cofinal Elementary Cuts in Countable Models of Compositional Arithmetical Truth 12:30-13:00 Martin Pape: A computable spectral theorem
13:00-15:00 Lunch 13:00-15:00 Lunch 13:00-15:00 Lunch
15:00-15:30 Michael Lettmann: Towards Pi_2-cut-introduction 15:00-15:30 Martin Sticht: Multi-Agent Dialogue Games and Dialogue Sequents 15:00-15:30 Svenja Schalthöfer: Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time
15:30-16:00 Holger Thies: On data-types for multidimensional functions in Exact Real Arithmetic 15:30-16:00 Malvin Gattinger: A Model Checker for the Hardest Logic Puzzle Ever 15:30-16:00 Tiago Rezende de Castro Alves: Synonymy and identity of proofs
16:00-17:00 Tutorial by Martin Otto: Bisimulation and Games (A) 16:00-17:00 Tutorial by Mirna Džamonja: Independence Results at the Successors of Singular Cardinals (B) 16:00-17:00 Tutorial by Piotr Kowalski: Model Theory of Fields with Operators (B)
17:00-18:00 Tutorial by Piotr Kowalski: Model Theory of Fields with Operators (A) 17:00-17:30 Bartosz Wcisło & Mateusz Łełyk: Understanding the strength of the compositional truth 17:00-17:30 Mariusz Popieluch: Toward a Similarity Semantics for Counterlogicals
17:30-18:00 Dariusz Kalociński: Bridging Recognition and Coordination of Semantics 17:30-18:00 Wilfried Keller: Dilution and its Elimination
19:00-? Social activity 19:00-22:00 Dinner
Chairs: Morning Session: Angeliki Koutsoukou-Argyraki, Afternoon Session: Felix Canavoi Chairs: Morning Session: Daniel Körnlein, Afternoon Session: Florian Steinberg Chairs: Morning Session: Angeliki Koutsoukou-Argyraki, Afternoon Session: Julian Bitterlich