Tuesday, August 20
13:30-14:00 Registration
14:00-14:05 Welcome and practical announcements
14:05-15:35Catuscia 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
09:00-09:05Opening and practical announcements
09:05-10:05 Invited talk:
Mikolaj Bojanczyk. Modelling Infinite Structures with Atoms
Coffee break

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

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

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
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

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
14:00-15:00 Invited talk:
Steve Awodey. Natural Models of Homotopy Type Theory
Coffee break

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


Financial sponsor:

A A A | Print Drucken | Impressum Impressum | Contact Kontakt
    zum Seitenanfangzum Seitenanfang