Days: Monday, July 14th Tuesday, July 15th Wednesday, July 16th Thursday, July 17th Friday, July 18th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45 | Welcome Address by the Rector (abstract) |
08:50 | Welcome Address by the Organizers (abstract) |
08:55 | VSL Opening (abstract) |
09:15 | VSL Keynote Talk: Computational Ideas and the Theory of Evolution (abstract) |
10:45 | Computer-checked mathematics: a formal proof of the Odd Order theorem (abstract) |
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) |
14:30 | Understanding Biology through Logic (abstract) |
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: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 | 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) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45 | FLoC Plenary Talk: From Reachability to Temporal Specifications in Game Theory (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
View this program: with abstractssession overviewtalk overviewside by side with other conferences
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 | 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) |
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 | 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:30 | Abstract Interpretation: Past, Present and Future (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
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) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
19:00 | VSL Public Lecture: Gödel in Vienna (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
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 | VSL Keynote Talk: The theory and applications of o-minimal structures (abstract) |
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 | System F with Coercion Constraints (abstract) |
15:00 | Anchored LTL Separation (abstract) |
15:30 | Probably Safe or Live (abstract) |
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 | 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) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45 | FLoC Panel: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change? (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
View this program: with abstractssession overviewtalk overviewside by side with other conferences
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 | 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) |
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 | KAT + B! (abstract) |
15:00 | On the characterization of models of H* (abstract) |
15:30 | Functional Reactive Types (abstract) |
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) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00 | FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014) (abstract) |
09:00 | FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (abstract) |
09:15 | Trade-Off Analysis Meets Probabilistic Model Checking (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
View this program: with abstractssession overviewtalk overviewside by side with other conferences
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 | 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) |
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 | 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 | Weak well orders and related inductions (abstract) |
15:15 | Automating inductive proof (abstract) |
16:30 | Citations for the Test-of-Time Award from 1994 (abstract) |
17:00 | The Ackermann Award 2014 (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45 | FLoC Panel: Computational Complexity and Logic: Theory vs. Experiments (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45 | FLoC Plenary Talk: Electronic voting: how logic can help? (abstract) |
10:15 | FLoC Olympic Games Big Screen: 7th IJCAR ATP System Competition (CASC-J7) (abstract) |
10:15 | FLoC Olympic Games Big Screen: Termination Competition (termCOMP 2014) (abstract) |
14:30 | FLoC Olympic Games: Answer Set Programming Modeling Competition 2014 (abstract) |