Tuesday, August 20 | |
13:30-14:00 | Registration |
14:00-14:05 | Welcome and practical announcements |
14:05-15:35 | Catuscia Palamidessi.Tutorial: Quantitative aspects of Information Flow and Privacy |
Coffee break | |
16:00-17:30 | Mikolaj Bojanczyk. Tutorial: Computing in Sets with Atoms |
Wednesday, August 21 | |
08:30-9:00 | Registration |
09:00-09:05 | Opening and practical announcements |
09:05-10:05 | Invited talk: |
Mikolaj Bojanczyk. Modelling Infinite Structures with Atoms | |
Coffee break | |
10:30-12:30 | Dependence Logic |
Fredrik Engström, Juha Kontinen and Jouko Väänänen. Dependence Logic with Generalized Quantifiers: Axiomatizations | |
Johannes Ebbing, Lauri Hella, Peter Lohmann and Jonni Virtema. Boolean Dependence Logic and Partially-Ordered Connectives | |
Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema and Heribert Vollmer. Extended Modal Dependence Logic EMDL | |
Julian-Steffen Müller and Heribert Vollmer. Model Checking for Modal Dependence Logic: An Approach Through Post’s Lattice | |
Lunch (around the corner) | |
14:00-15:00 | Invited talk: |
Catuscia Palamidessi. Quantitative Approaches to Information Protection | |
Coffee break | |
15:30-17:00 | Finite Models/Databases |
Argimiro Arratia and Carlos Ortiz. First Order Extensions of Residue Classes and Uniform Circuit Complexity | |
Juha Kontinen, Sebastian Link and Jouko Vaananen. Independence in Database Relations | |
George Metcalfe, Jonas Rogger, Xavier Caicedo and Ricardo Rodriguez. A Finite Model Property for Godel Modal Logics | |
Thursday, August 22 | |
09:00-10:00 | Invited talk: |
Wim Martens. The Logic and Illogic of SPARQL property paths | |
Coffee break | |
10:30-12:30 | Potpourri |
Andreas Herzig. A simple separation logic | |
Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets and Shengyang Zhong. Quantum Probabilistic Dyadic Second-Order Logic | |
Michael Fourman. Continuous Truth II: reflections | |
Sjur Kristoffer Dyrkolbotn. The same, similar, or just completely different? Equivalence for argumentation in the light of logic | |
Lunch | |
14:00-15:00 | Invited talk: |
Natasha Alechina. Logic and Agent Programming Languages | |
17:00-19:00 | Excursion: alternative guided tours over Mathildenhoehe, focussing either Art Nouveau or sculptor Bernhard Hoetger. Please register at conference office! Directions from Welcome Hotel to Mathildenhoehe |
19:00-... | Dinner at Restaurant Glasschrank |
Friday, August 23 | |
09:00-10:00 | Invited talk: |
Thomas Schwentick. Perspectives of dynamic complexity | |
Coffee break | |
10:30-12:30 | Substructural and Temporal Logics |
Igor Sedlar. Information, Awareness and Substructural Logics | |
Balbiani Philippe and Emiliano Lorini. Ockhamist Propositional Dynamic Logic: a natural link between PDL and CTL* | |
Yoshihiro Maruyama. Full Lambek Hyperdoctrine: Non-Commutative Substructural Predicate Logic and its Extensions | |
Hidenori Kurokawa and Hirohiko Kushida. Substructural Logic of Proofs | |
Lunch | |
14:00-15:00 | Invited talk: |
Steve Awodey. Natural Models of Homotopy Type Theory | |
Coffee break | |
15:30-16:30 | Proof Theory |
Agata Ciabattoni and Revantha Ramanayake. Structural extensions of display calculi: a general recipe | |
Lais Andrade, Ruan Carvalho, Anjolina de Oliveira and Ruy de Queiroz. Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach |