| 
Schedule
| 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 | |
Drucken
Impressum
Kontakt
