PROGRAM
Days: Sunday, August 20th Monday, August 21st Tuesday, August 22nd Wednesday, August 23rd Thursday, August 24th
Sunday, August 20th
View this program: with abstractssession overviewtalk overview
09:10-10:50 Session 2: LC + CSL Joint Session
Chair:
Location: G-salen
09:10 | Normal Numbers, Logic and Automata ( abstract ) |
10:00 | Determinacy of Infinite Games: Perspectives of the Algorithmic Approach ( abstract ) |
11:20-13:00 Session 3: LC + CSL Joint Session
Chair:
Location: G-salen
11:20 | Recent directions in model theory ( abstract ) |
12:10 | Schema mappings: Structural Properties and Limits ( abstract ) |
14:30-15:50 Session 4: Short Talks
Chair:
Location: De Geer Salen
14:30 | The Quantum Monad on Relational Structures ( abstract ) |
14:50 | Weaker counting abilities in first-order logic ( abstract ) |
15:10 | On Implicit Dependence and Independence between Differently Quantified First-Order Variables ( abstract ) |
15:30 | The modal mu-calculus and the descriptive complexity of parity games ( abstract ) |
16:20-17:40 Session 5: Short Talks
Chair:
Location: De Geer Salen
16:20 | Interpreting the plus sign in justification logic as the union of sets of justifications (Extended Abstract) ( abstract ) |
16:40 | On Takeuti-Yasumoto forcing ( abstract ) |
17:00 | Non decomposable connectives of linear logic ( abstract ) |
17:20 | Game Semantics for Martin-Löf Type Theory ( abstract ) |
Monday, August 21st
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 7: Invited Talk
Chair:
Location: De Geer Salen
09:00 | First-Order Interpolation and Grey Areas of Proofs ( abstract ) |
10:30-12:30 Session 8: Proofs and Complexity
Chair:
Location: De Geer Salen
10:30 | The Model-Theoretic Expressiveness of Propositional Proof Systems ( abstract ) |
11:00 | Removing Cycles from Proofs ( abstract ) |
11:30 | Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs ( abstract ) |
12:00 | On the First-Order Complexity of Induced Subgraph Isomorphism ( abstract ) |
14:00-16:00 Session 9: Type Theory, Categories, and Duality
Chair:
Location: De Geer Salen
14:00 | Partial Elements and Recursion via Dominances in Univalent Type Theory ( abstract ) |
14:30 | Categorical structures for type theory in univalent foundations ( abstract ) |
15:00 | Integral Categories and Calculus Categories ( abstract ) |
15:30 | Stone duality and the substitution principle ( abstract ) |
16:30-17:30 Session 10: Interaction and Constraint Satisfaction
Chair:
Location: De Geer Salen
16:30 | The Dynamic Geometry of Interaction Machine ( abstract ) |
17:00 | An Algebraic Approach to Valued Constraint Satisfaction ( abstract ) |
18:30-20:30 Session : Welcome reception
Welcome reception in Stockholm City Hall, courtesy of Stockholms Stad
Chair:
Tuesday, August 22nd
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 11: Invited Talk
Chair:
Location: De Geer Salen
09:00 | Symbolic automata theory with applications (extended abstract) ( abstract ) |
10:30-12:30 Session 12: mu-Calculus, Games, Model Checking
Chair:
Location: De Geer Salen
10:30 | Improved Set-based Symbolic Algorithms for Parity Games ( abstract ) |
11:00 | aleph_1 and the modal mu-calculus ( abstract ) |
11:30 | Modal mu-calculus with atoms ( abstract ) |
12:00 | Decidable Logics with associative binary modalities ( abstract ) |
14:00-16:00 Session 13: Lambda-Calculus and Functional Computation
Chair:
Location: De Geer Salen
14:00 | Taylor expansion, β-reduction and normalization ( abstract ) |
14:30 | Strongly Normalizing Audited Computation ( abstract ) |
15:00 | Separating Functional Computation from Relations ( abstract ) |
15:30 | Inductive and Functional Types in Ludics ( abstract ) |
Wednesday, August 23rd
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 16: Invited Talk
Chair:
Location: De Geer Salen
09:00 | Arithmetic Circuits: An Overview ( abstract ) |
10:30-12:30 Session 17: Automata
Chair:
Location: De Geer Salen
10:30 | On the (In)Succinctness of Muller Automata ( abstract ) |
11:00 | Query Learning of Derived Omega-Tree Languages in Polynomial Time ( abstract ) |
11:30 | Advice Automatic Structures and Uniformly Automatic Classes ( abstract ) |
12:00 | CALF: Categorical Automata Learning Framework ( abstract ) |
14:00-15:00 Session 18: Process Algebra and Concurrency
Chair:
Location: De Geer Salen
14:00 | Precongruence Formats with Lookahead through Modal Decomposition ( abstract ) |
14:30 | Strategies with Parallel Causes ( abstract ) |
Thursday, August 24th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 19: Invited Talk
Chair:
Location: De Geer Salen
09:00 | Current Trends and New Perspectives for First-Order Model Checking ( abstract ) |
10:30-12:30 Session 20: FOL and MSO
Chair:
Location: De Geer Salen
10:30 | Slicewise definability in first-order logic with bounded quantifier rank ( abstract ) |
11:00 | Extending Two-Variable Logic on Trees ( abstract ) |
11:30 | A Finitary Analogue of the Downward Löwenheim-Skolem Property ( abstract ) |
12:00 | On Supergraphs Satisfying CMSO Properties ( abstract ) |
14:00-16:00 Session 21: Temporal Logic and Dependence Logic
Chair:
Location: De Geer Salen
14:00 | A decidable intuitionistic temporal logic ( abstract ) |
14:30 | Fast(er) Reasoning in Interval Temporal Logic ( abstract ) |
15:00 | Filtration versus Team Semantics ( abstract ) |
15:30 | Validity and Entailment in Modal and Propositional Dependence Logics ( abstract ) |
16:30-18:00 Session 22: Semantics, Topology, and Automata
Chair:
Location: De Geer Salen
16:30 | Diagrammatic Semantics for Digital Circuits ( abstract ) |
17:00 | Polishness of some topologies related to automata ( abstract ) |
17:30 | Noetherian Quasi-Polish spaces ( abstract ) |