CSL 2017: 26TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 )