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:30Mikolaj Bojanczyk. Tutorial: Computing in Sets with Atoms
Wednesday, August 21
08:30-09: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
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!
19:00-... Conference 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


Directions from Welcome Hotel
to Conference venue

Proceedings

Financial sponsor:

A A A | Print Print | Impressum Legal note | Contact Contact
    zum Seitenanfangzum Seitenanfang