VSL 2014: VIENNA SUMMER OF LOGIC 2014
CSL-LICS PROGRAM

Days: Monday, July 14th Tuesday, July 15th Wednesday, July 16th Thursday, July 17th Friday, July 18th

Monday, July 14th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-09:15 Session 37: VSL Opening
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
Welcome Address by the Rector (abstract)
08:50
Welcome Address by the Organizers (abstract)
08:55
VSL Opening (abstract)
09:15-10:15 Session 38: VSL Keynote Talk
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
09:15
VSL Keynote Talk: Computational Ideas and the Theory of Evolution (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 38A: Tutorial by Assia Mahboubi
Location: FH, Hörsaal 1
10:45
Computer-checked mathematics: a formal proof of the Odd Order theorem (abstract)
10:45-13:00 Session 38B: Computability
Location: FH, Hörsaal 5
10:45
A quest for algorithmically random infinite structures (abstract)
11:15
On the Total Variation Distance of Labelled Markov Chains (abstract)
11:45
A domain-theoretic approach to Brownian motion and general continuous stochastic processes (abstract)
12:15
On the Computing Power of +, −, and × (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 41A: Tutorial by Jasmin Fisher
Location: FH, Hörsaal 1
14:30
Understanding Biology through Logic (abstract)
14:30-16:00 Session 41H: Special session: Perspectives on Induction (joint with LC)
Location: MB, Prechtlsaal
14:30
Inductive Proofs & the Knowledge They Represent (abstract)
15:15
Decidable languages for knowledge representation and inductive definitions: From Datalog to Datalog+/- (abstract)
16:00-16:30Coffee Break
16:30-18:30 Session 42A: Computability
Location: FH, Hörsaal 1
16:30
Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity (abstract)
17:00
Beta Reduction is Invariant, Indeed (abstract)
17:30
On the Pigeonhole and Related Principles in Deep Inference and Monotone Systems (abstract)
18:00
Faster decision of first-order graph properties (abstract)
16:30-18:30 Session 42B: Concurrency
Location: FH, Hörsaal 5
16:30
Logic for Communicating Automata with Parameterized Topology (abstract)
17:00
Equilibria of Concurrent Games on Event Structures (abstract)
17:30
Compositional Verification of Termination-Preserving Refinement of Concurrent Programs (abstract)
18:00
Symmetry in Concurrent Games (abstract)
Tuesday, July 15th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 44: FLoC Plenary Talk (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Plenary Talk: From Reachability to Temporal Specifications in Game Theory (abstract)
Monday, July 14th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

Tuesday, July 15th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:15-10:45Coffee Break
10:45-13:00 Session 47A: Automata
Location: FH, Hörsaal 1
10:45
Zero-Reachability in Probabilistic Multi-Counter Automata (abstract)
11:15
Senescent Ground Tree Rewrite Systems (abstract)
11:45
Abstract Interpretation from Buchi Automata (abstract)
12:15
Separating Regular Languages with First-Order Logic (abstract)
10:45-13:00 Session 47B: Concurrency and Games
Location: FH, Hörsaal 5
10:45
Coinduction Up-To in a Fibrational Setting (abstract)
11:15
Deadlock and lock freedom in the linear pi-calculus (abstract)
11:45
Secure Equilibria in Weighted Games (abstract)
12:15
Infinite sequential games with real-valued payoffs (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 50A: Graphs and Logic
Location: FH, Hörsaal 1
14:30
Two-Way Cost Automata and Cost Logics over Infinite Trees (abstract)
15:00
Logical Characterization of Weighted Pebble Walking Automata (abstract)
15:30
Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic (abstract)
14:30-16:00 Session 50B: Model Checking
Chair:
Location: FH, Hörsaal 5
14:30
Decomposition Theorems and Model-Checking for the Modal mu-calculus (abstract)
15:00
Logics with Counting and Equivalence (abstract)
15:30
Local Temporal Reasoning (abstract)
16:00-16:30Coffee Break
16:30-17:30 Session 52A: Invited talk by Patrick Cousot
Location: FH, Hörsaal 1
16:30
Abstract Interpretation: Past, Present and Future (abstract)
Wednesday, July 16th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:45-13:00 Session 56A: Models and Expressiveness
Location: FH, Hörsaal 1
10:45
Graph Logics with Rational Relations: The Role of Word Combinatorics (abstract)
11:15
Model Checking Existential Logic on Partially Ordered Sets (abstract)
11:45
Infinite-State Energy Games (abstract)
12:15
Weak MSO: Automata and Expressiveness Modulo Bisimilarity (abstract)
Tuesday, July 15th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

19:00-20:00 Session 56A: VSL Public Lecture 1
Location: MB, Kuppelsaal
19:00
VSL Public Lecture: Gödel in Vienna (abstract)
Wednesday, July 16th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:45-13:00 Session 56B: Proofs and Verification
Location: FH, Hörsaal 5
10:45
Axioms and Decidability for Type Isomorphism in the Presence of Sums (abstract)
11:15
A functional functional interpretation (abstract)
11:45
Symmetric Normalisation for Intuitionistic Logic (abstract)
12:15
Satisfiability Modulo Counting: A New Approach for Analyzing Privacy Properties (abstract)
08:45-10:15 Session 57: VSL Keynote Talk
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
VSL Keynote Talk: The theory and applications of o-minimal structures (abstract)
10:15-10:45Coffee Break
13:00-14:30Lunch Break
14:30-16:00 Session 59A: Graphs and Logic
Location: FH, Hörsaal 1
14:30
On Hanf-equivalence and the number of embeddings of small induced subgraphs (abstract)
15:00
One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries (abstract)
15:30
The Tractability Frontier of Graph-Like First-Order Query Sets (abstract)
14:30-16:00 Session 59B: Types and Specifications
Location: FH, Hörsaal 5
14:30
System F with Coercion Constraints (abstract)
15:00
Anchored LTL Separation (abstract)
15:30
Probably Safe or Live (abstract)
16:00-16:30Coffee Break
16:30-18:30 Session 61A: Guarded and Separation Logics
Chair:
Location: FH, Hörsaal 1
16:30
Effective Interpolation and Preservation in Guarded Logics (abstract)
17:00
Expressive Completeness of Separation Logic With Two Variables and No Separating Conjunction (abstract)
17:30
A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates (abstract)
16:30-18:30 Session 61B: Proof Theory
Location: FH, Hörsaal 5
16:30
Substitution, jumps, and algebraic effects (abstract)
17:00
No proof nets for MLL with units: Proof equivalence in MLL is PSPACE-complete (abstract)
17:30
Equality and Fixpoints in the Calculus of Structures (abstract)
Thursday, July 17th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 62A: FLoC Panel (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Panel: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change? (abstract)
Wednesday, July 16th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

Thursday, July 17th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:15-10:45Coffee Break
10:45-13:00 Session 66AA: Model Theory and Complexity
Location: FH, Hörsaal 1
10:45
Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems (abstract)
11:15
Preservation and Decomposition Theorems for Bounded Degree Structures (abstract)
11:45
On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Bounded Chase (abstract)
12:15
MSO Queries on Trees: Enumerating Answers under Updates (abstract)
10:45-13:00 Session 66AB: Semantics and Verification
Location: FH, Hörsaal 5
10:45
Transition systems over games (abstract)
11:15
Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects (abstract)
11:45
Compositional Higher-Order Model Checking via Omega-Regular Games over Boehm Trees (abstract)
12:15
On the Hoare Theory of Monadic Recursion Schemes (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 75AA: Models and Games
Location: FH, Hörsaal 1
14:30
Decidability of Weak Logics with Deterministic Transitive Closure (abstract)
15:00
The Complexity of Admissibility in Omega-Regular Games (abstract)
15:30
Pattern Logics and Auxiliary Relations (abstract)
14:30-16:00 Session 75AB: Programming Language Semantics
Location: FH, Hörsaal 5
14:30
KAT + B! (abstract)
15:00
On the characterization of models of H* (abstract)
15:30
Functional Reactive Types (abstract)
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Location: MB, Kuppelsaal
16:30
Foundations and Technology Competitions Award Ceremony (abstract)
17:30
FLoC Olympic Games Award Ceremony 1 (abstract)
18:15
FLoC Closing Week 1 (abstract)
Friday, July 18th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-18:00 Session 87E: FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (joint with 9 other meetings)
Location: FH, 2nd floor
09:00
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (abstract)
09:15-10:15 Session 88A: Invited Talk by Christel Baier
Location: FH, Hörsaal 1
09:15
Trade-Off Analysis Meets Probabilistic Model Checking (abstract)
Thursday, July 17th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

Friday, July 18th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:15-10:45Coffee Break
10:45-13:00 Session 90AA: Programming Logics
Location: FH, Hörsaal 1
10:45
Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy (abstract)
11:15
On the Discriminating Power of Passivation and Higher-Order Interaction (abstract)
11:45
Asymptotic behaviour in temporal logic (abstract)
12:15
Weight Monitoring with Linear Temporal Logic: Complexity and Decidability (abstract)
10:45-13:00 Session 90AB: Proof Theory
Location: FH, Hörsaal 5
10:45
On Context Semantics for Interaction Nets (abstract)
11:15
The Geometry of Synchronization (abstract)
11:45
A new correctness criterion for MLL proof nets (abstract)
12:15
Non-Elementary Complexities for Branching VASS, MELL, and Extensions (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 96AB: Games and Finite Models
Chair:
Location: FH, Hörsaal 1
14:30
Regular Combinators for String Transformations (abstract)
15:00
On Periodically Iterated Morphisms (abstract)
15:30
Finite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff Objectives (abstract)
14:30-16:00 Session 96AC: Types
Chair:
Location: FH, Hörsaal 5
14:30
A type theory for productive coprogramming via guarded recursion (abstract)
15:00
Formulae-as-Types for an Involutive Negation (abstract)
15:30
Eilenberg-MacLane Spaces in Homotopy Type Theory (abstract)
14:30-16:00 Session 96BF: Special session: Perspectives on Induction (joint with LC)
Location: MB, Prechtlsaal
14:30
Weak well orders and related inductions (abstract)
15:15
Automating inductive proof (abstract)
16:00-16:30Coffee Break
16:30-17:00 Session 99AC: Test-of-Time Award Presentations and Lectures
Location: FH, Hörsaal 1
16:30
Citations for the Test-of-Time Award from 1994 (abstract)
Saturday, July 19th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 106A: FLoC Panel (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Panel: Computational Complexity and Logic: Theory vs. Experiments (abstract)
Sunday, July 20th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 123: FLoC Plenary Talk (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Plenary Talk: Electronic voting: how logic can help? (abstract)