VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Abdulla, Parosh Aziz	Infinite-State Energy Games
Accattoli, Beniamino	Beta Reduction is Invariant, Indeed
Alur, Rajeev	Regular Combinators for String Transformations
Asarin, Eugene	Asymptotic behaviour in temporal logic
Atig, Mohamed Faouzi	Infinite-State Energy Games
B
Baier, Christel	Trade-Off Analysis Meets Probabilistic Model Checking Weight Monitoring with Linear Temporal Logic: Complexity and Decidability
Barceló, Pablo	Graph Logics with Rational Relations: The Role of Word Combinatorics
Basin, David	Anchored LTL Separation
Benedikt, Michael	Effective Interpolation and Preservation in Guarded Logics
Bernardo, Marco	On the Discriminating Power of Passivation and Higher-Order Interaction
Bilokon, Paul	A domain-theoretic approach to Brownian motion and general continuous stochastic processes
Blumensath, Achim	Two-Way Cost Automata and Cost Logics over Infinite Trees
Bockelet, Michel	Asymptotic behaviour in temporal logic
Bojanczyk, Mikolaj	Decomposition Theorems and Model-Checking for the Modal mu-calculus
Bollig, Benedikt	Logical Characterization of Weighted Pebble Walking Automata Logic for Communicating Automata with Parameterized Topology
Bonchi, Filippo	Coinduction Up-To in a Fibrational Setting
Bova, Simone	Model Checking Existential Logic on Partially Ordered Sets
Brazdil, Tomas	Zero-Reachability in Probabilistic Multi-Counter Automata
Brenguier, Romain	The Complexity of Admissibility in Omega-Regular Games
Breuvart, Flavien	On the characterization of models of H*
Brotherston, James	A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates
Bruyère, Véronique	Secure Equilibria in Weighted Games
Bundy, Alan	Automating inductive proof
C
Carreiro, Facundo	Weak MSO: Automata and Expressiveness Modulo Bisimilarity
Castellan, Simon	Symmetry in Concurrent Games
Charatonik, Witold	Decidability of Weak Logics with Deterministic Transitive Closure
Chaudhuri, Kaustuv	Equality and Fixpoints in the Calculus of Structures
Chen, Hubie	One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries The Tractability Frontier of Graph-Like First-Order Query Sets
Chen, Taolue	On the Total Variation Distance of Labelled Markov Chains
Chen, Wei	Abstract Interpretation from Buchi Automata
Clairambault, Pierre	Symmetry in Concurrent Games
Colcombet, Thomas	Two-Way Cost Automata and Cost Logics over Infinite Trees
Cousot, Patrick	Abstract Interpretation: Past, Present and Future
Cousot, Radhia	Abstract Interpretation: Past, Present and Future
Cretin, Julien	System F with Coercion Constraints
D
Dal Lago, Ugo	The Geometry of Synchronization Beta Reduction is Invariant, Indeed
Das, Anupam	On the Pigeonhole and Related Principles in Deep Inference and Monotone Systems
Dawar, Anuj	The Ackermann Award 2014
Degorre, Aldric	Asymptotic behaviour in temporal logic
Demri, Stephane	Expressive Completeness of Separation Logic With Two Variables and No Separating Conjunction
Deters, Morgan	Expressive Completeness of Separation Logic With Two Variables and No Separating Conjunction
Detlefsen, Michael	Inductive Proofs & the Knowledge They Represent
Dima, Cătălin	Asymptotic behaviour in temporal logic
Dittmann, Christoph	Decomposition Theorems and Model-Checking for the Modal mu-calculus
Dubslaff, Clemens	Trade-Off Analysis Meets Probabilistic Model Checking
E
Edalat, Abbas	A domain-theoretic approach to Brownian motion and general continuous stochastic processes
Ehrhard, Thomas	A new correctness criterion for MLL proof nets
Endrullis, Joerg	On Periodically Iterated Morphisms
F
Facchini, Alessandro	Weak MSO: Automata and Expressiveness Modulo Bisimilarity
Faggian, Claudia	The Geometry of Synchronization
Feng, Xinyu	Compositional Verification of Termination-Preserving Refinement of Concurrent Programs
Figueira, Diego	Pattern Logics and Auxiliary Relations
Finster, Eric	Eilenberg-MacLane Spaces in Homotopy Type Theory
Fiore, Marcelo	Substitution, jumps, and algebraic effects
Fisher, Jasmin	Understanding Biology through Logic
Fredrikson, Matt	Satisfiability Modulo Counting: A New Approach for Analyzing Privacy Properties
Freilich, Adam	Regular Combinators for String Transformations
Fuhs, Carsten	A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates
G
Ganian, Robert	Model Checking Existential Logic on Partially Ordered Sets
Gastin, Paul	Logical Characterization of Weighted Pebble Walking Automata
Gorogiannis, Nikos	A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates
Gottlob, Georg	Decidable languages for knowledge representation and inductive definitions: From Datalog to Datalog+/- Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic
Grathwohl, Niels Bjørn Bugge	KAT + B!
Guenot, Nicolas	Symmetric Normalisation for Intuitionistic Logic Equality and Fixpoints in the Calculus of Structures
Gutierrez, Julian	Equilibria of Concurrent Games on Event Structures
H
Haase, Christoph	Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy
Hague, Matthew	Senescent Ground Tree Rewrite Systems
Harwath, Frederik	Preservation and Decomposition Theorems for Bounded Degree Structures
Hasuo, Ichiro	The Geometry of Synchronization Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects
Heijltjes, Willem	No proof nets for MLL with units: Proof equivalence in MLL is PSPACE-complete
Heimberg, Lucas	Preservation and Decomposition Theorems for Bounded Degree Structures
Hendriks, Dimitri	On Periodically Iterated Morphisms
Hofman, Piotr	Infinite-State Energy Games
Hofmann, Martin	Abstract Interpretation from Buchi Automata
Hoshino, Naohiko	Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects
Houston, Robin	No proof nets for MLL with units: Proof equivalence in MLL is PSPACE-complete
I
Ilik, Danko	Axioms and Decidability for Type Isomorphism in the Presence of Sums
J
Jaeger, Gerhard	Weak well orders and related inductions
Jeffrey, Alan	Functional Reactive Types
Jha, Somesh	Satisfiability Modulo Counting: A New Approach for Analyzing Privacy Properties
K
Katoen, Joost-Pieter	Zero-Reachability in Probabilistic Multi-Counter Automata Probably Safe or Live
Khoussainov, Bakh	A quest for algorithmically random infinite structures
Kiefer, Stefan	Zero-Reachability in Probabilistic Multi-Counter Automata On the Total Variation Distance of Labelled Markov Chains
Kieronski, Emanuel	Decidability of Weak Logics with Deterministic Transitive Closure
Kikot, Stanislav	On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Bounded Chase
Klein, Joachim	Weight Monitoring with Linear Temporal Logic: Complexity and Decidability
Klin, Bartek	Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity
Klueppelholz, Sascha	Trade-Off Analysis Meets Probabilistic Model Checking Weight Monitoring with Linear Temporal Logic: Complexity and Decidability
Kontchakov, Roman	On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Bounded Chase
Koskinen, Eric	Local Temporal Reasoning
Kozen, Dexter	KAT + B! Citations for the Test-of-Time Award from 1994
Kreutzer, Stephan	On Hanf-equivalence and the number of embeddings of small induced subgraphs Decomposition Theorems and Model-Checking for the Modal mu-calculus
Kucera, Antonin	Zero-Reachability in Probabilistic Multi-Counter Automata
Kuperberg, Denis	Two-Way Cost Automata and Cost Logics over Infinite Trees
L
Lasota, Sławomir	Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity
Lazić, Ranko	Non-Elementary Complexities for Branching VASS, MELL, and Extensions
Le Roux, Stephane	Infinite sequential games with real-valued payoffs
Leroux, Jerome	Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems
Levy, Paul Blain	Transition systems over games
Liang, Hongjin	Compositional Verification of Termination-Preserving Refinement of Concurrent Programs
Libkin, Leonid	Pattern Logics and Auxiliary Relations
Licata, Daniel R.	Eilenberg-MacLane Spaces in Homotopy Type Theory
Losemann, Katja	MSO Queries on Trees: Enumerating Answers under Updates
M
Mahboubi, Assia	Computer-checked mathematics: a formal proof of the Odd Order theorem
Malizia, Enrico	Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic
Mamino, Marcello	On the Computing Power of +, −, and ×
Mamouras, Konstantinos	On the Hoare Theory of Monadic Recursion Schemes KAT + B!
Martens, Wim	MSO Queries on Trees: Enumerating Answers under Updates
Mayr, Richard	Infinite-State Energy Games
Mazowiecki, Filip	Decidability of Weak Logics with Deterministic Transitive Closure
Meunier, Noémie	Secure Equilibria in Weighted Games
Monmege, Benjamin	Logical Characterization of Weighted Pebble Walking Automata
Mu, Chunyan	Asymptotic behaviour in temporal logic
Mueller, Moritz	One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries
Munch-Maccagnoni, Guillaume	Formulae-as-Types for an Involutive Negation
Muroya, Koko	Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects
Muñoz, Pablo	Graph Logics with Rational Relations: The Role of Word Combinatorics
Møgelberg, Rasmus Ejlers	A type theory for productive coprogramming via guarded recursion
N
Narayan Kumar, K.	Infinite-State Energy Games
Navarro Perez, Juan	A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates
Novotný, Petr	Zero-Reachability in Probabilistic Multi-Counter Automata
O
Ochremiak, Joanna	Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity
Ong, Luke	Compositional Higher-Order Model Checking via Omega-Regular Games over Boehm Trees
P
Padovani, Luca	Deadlock and lock freedom in the linear pi-calculus
Parys, Paweł	Two-Way Cost Automata and Cost Logics over Infinite Trees
Pauly, Arno	Infinite sequential games with real-valued payoffs
Perrinel, Matthieu	On Context Semantics for Interaction Nets
Petric Maretic, Grgur	Anchored LTL Separation
Petrisan, Daniela	Coinduction Up-To in a Fibrational Setting
Place, Thomas	Separating Regular Languages with First-Order Logic
Podolskii, Vladimir	On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Bounded Chase
Pous, Damien	Coinduction Up-To in a Fibrational Setting
Pratt-Hartmann, Ian	Logics with Counting and Equivalence
Praveen, M.	Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems
Pédrot, Pierre-Marie	A functional functional interpretation
R
Raghothaman, Mukund	Regular Combinators for String Transformations
Raskin, Jean-Francois	Secure Equilibria in Weighted Games The Complexity of Admissibility in Omega-Regular Games
Rot, Jurriaan	Coinduction Up-To in a Fibrational Setting
Rémy, Didier	System F with Coercion Constraints
S
Sangiorgi, Davide	On the Discriminating Power of Passivation and Higher-Order Interaction
Sassolas, Mathieu	The Complexity of Admissibility in Omega-Regular Games
Schmitz, Sylvain	Non-Elementary Complexities for Branching VASS, MELL, and Extensions
Schweikardt, Nicole	Preservation and Decomposition Theorems for Bounded Degree Structures On Hanf-equivalence and the number of embeddings of small induced subgraphs
Shao, Zhong	Compositional Verification of Termination-Preserving Refinement of Concurrent Programs
Slaman, Theodore
Song, Lei	Probably Safe or Live
Staton, Sam	Transition systems over games Substitution, jumps, and algebraic effects
Strassburger, Lutz	Symmetric Normalisation for Intuitionistic Logic
Sutre, Grégoire	Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems
Szeider, Stefan	Model Checking Existential Logic on Partially Ordered Sets
T
Ten Cate, Balder	Effective Interpolation and Preservation in Guarded Logics
Terauchi, Tachio	Local Temporal Reasoning
Torabi Dashti, Mohammad	Anchored LTL Separation
Toruńczyk, Szymon	Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity
Totzke, Patrick	Infinite-State Energy Games
Tsukada, Takeshi	Compositional Higher-Order Model Checking via Omega-Regular Games over Boehm Trees
V
Vanden Boom, Michael	Two-Way Cost Automata and Cost Logics over Infinite Trees Effective Interpolation and Preservation in Guarded Logics
Velner, Yaron	Finite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff Objectives
Venema, Yde	Weak MSO: Automata and Expressiveness Modulo Bisimilarity
Vignudelli, Valeria	On the Discriminating Power of Passivation and Higher-Order Interaction
W
Williams, Ryan	Faster decision of first-order graph properties
Winskel, Glynn	Symmetry in Concurrent Games
Wooldridge, Michael	Equilibria of Concurrent Games on Event Structures
Wunderlich, Sascha	Weight Monitoring with Linear Temporal Logic: Complexity and Decidability
Y
Yoshimizu, Akira	The Geometry of Synchronization
Z
Zakharyaschev, Michael	On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Bounded Chase
Zanasi, Fabio	Weak MSO: Automata and Expressiveness Modulo Bisimilarity
Zeitoun, Marc	Separating Regular Languages with First-Order Logic Logical Characterization of Weighted Pebble Walking Automata
Zhang, Lijun	Probably Safe or Live

Disclaimer | Powered by EasyChair Smart Program