Skip to main content

Seven Papers at CSL/LICS-2014


Oxford authors have had seven papers accepted at the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). This joint conference is being held in Vienna in July 2014 as part of the Vienna Summer of Logic, which will bring together thousands of logic researchers from across the academic spectrum. CSL/LICS will be the most important academic event for logic in computer science in 2014.

For more information about CSL/LICS, see:

The seven accepted papers are:



  • Taolue Chen and Stefan Kiefer.
    On the Total Variation Distance of Labelled Markov Chains.

  • Tomas Brazdil, Stefan Kiefer, Antonin Kucera, Petr Novotny and Joost-Pieter Katoen.
    Zero-Reachability in Probabilistic Multi-Counter Automata.

  • Georg Gottlob and Enrico Malizia.
    Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic.

  • Takeshi Tsukada and Luke Ong.
    Compositional Higher-Order Model Checking via Omega-Regular Games over Boehm Trees


  • Julian Gutierrez and Michael Wooldridge.
    Equilibria of Concurrent Games on Event Structures.

  • Achim Blumensath, Thomas Colcombet, Denis Kuperberg, Paweł Parys and Michael Vanden Boom.
    Two-Way Cost Automata and Cost Logics over Infinite Trees.

  • Michael Benedikt, Balder Ten Cate and Michael Vanden Boom.
    Effective Interpolation and Preservation in Guarded Logics.