| 2015 | 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015 |
| 2015 | A Canonical Form for Weighted Automata and Applications to Approximate Minimization. Borja Balle, Prakash Panangaden, Doina Precup |
| 2015 | A Complete Axiomatization of MSO on Infinite Trees. Anupam Das, Colin Riba |
| 2015 | A Cubical Approach to Synthetic Homotopy Theory. Daniel R. Licata, Guillaume Brunerie |
| 2015 | A Diagrammatic Axiomatisation for Qubit Entanglement. Amar Hadzihasanovic |
| 2015 | A Fibrational Account of Local States. Kenji Maillard, Paul-André Melliès |
| 2015 | A Note on the Complexity of Classical and Intuitionistic Proofs. Matthias Baaz, Alexander Leitsch, Giselle Reis |
| 2015 | A Unifying Approach to the Gamma Question. Benoit Monin, André Nies |
| 2015 | Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow. Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja |
| 2015 | Automata-Based Abstraction Refinement for µHORS Model Checking. Naoki Kobayashi, Xin Li |
| 2015 | Bisimilarity in Fresh-Register Automata. Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos |
| 2015 | Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME. Wojciech Czerwinski, Petr Jancar |
| 2015 | Branching Bisimilarity on Normed BPA Is EXPTIME-Complete. Chaodong He, Mingzhang Huang |
| 2015 | Characterising Choiceless Polynomial Time with First-Order Interpretations. Erich Grädel, Wied Pakusa, Svenja Schalthöfer, Lukasz Kaiser |
| 2015 | Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets. Willem Heijltjes, Dominic J. D. Hughes |
| 2015 | Defining Winning Strategies in Fixed-Point Logic. Felix Canavoi, Erich Grädel, Simon Leßenich, Wied Pakusa |
| 2015 | Demystifying Reachability in Vector Addition Systems. Jérôme Leroux, Sylvain Schmitz |
| 2015 | Descriptive Complexity of List H-Coloring Problems in Logspace: A Refined Dichotomy. Víctor Dalmau, László Egri, Pavol Hell, Benoît Larose, Arash Rafiey |
| 2015 | Descriptive Set Theory in the Category of Represented Spaces. Arno Pauly, Matthew de Brecht |
| 2015 | Distributed Graph Automata. Fabian Reiter |
| 2015 | Domains of Commutative C-Subalgebras. Chris Heunen, Bert Lindenhovius |
| 2015 | Entailment among Probabilistic Implications. Albert Atserias, José L. Balcázar |
| 2015 | Extending ALCQIO with Trees. Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger |
| 2015 | Extensions of Domain Maps in Differential and Integral Calculus. Abbas Edalat |
| 2015 | Feedback Turing Computability, and Turing Computability as Feedback. Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky |
| 2015 | Finite Open-World Query Answering with Number Restrictions. Antoine Amarilli, Michael Benedikt |
| 2015 | From Categorical Logic to Facebook Engineering. Peter W. O'Hearn |
| 2015 | From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the PGP. Catarina Carvalho, Florent R. Madelaine, Barnaby Martin |
| 2015 | Game Semantics for Type Soundness. Tim Disney, Cormac Flanagan |
| 2015 | Higher-Order Model Checking: An Overview. Luke Ong |
| 2015 | How Good Is a Strategy in a Game with Nature? Arnaud Carayol, Olivier Serre |
| 2015 | Hyper Natural Deduction. Arnold Beckmann, Norbert Preining |
| 2015 | Improved Algorithms for One-Pair and k-Pair Streett Objectives. Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer |
| 2015 | Interpolation with Decidable Fixpoint Logics. Michael Benedikt, Balder ten Cate, Michael Vanden Boom |
| 2015 | Locally Finite Constraint Satisfaction Problems. Bartek Klin, Eryk Kopczynski, Joanna Ochremiak, Szymon Torunczyk |
| 2015 | Long-Run Average Behaviour of Probabilistic Vector Addition Systems. Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný |
| 2015 | Metric Reasoning about λ-Terms: The Affine Case. Raphaëlle Crubillé, Ugo Dal Lago |
| 2015 | Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. Sebastian Enqvist, Fatemeh Seifan, Yde Venema |
| 2015 | Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives. Lorenzo Clemente, Jean-François Raskin |
| 2015 | Names and Symmetry in Computer Science (Invited Tutorial). Andrew M. Pitts |
| 2015 | Nested Weighted Automata. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
| 2015 | Nondeterminism in Game Semantics via Sheaves. Takeshi Tsukada, C.-H. Luke Ong |
| 2015 | On the Complexity of Linear Arithmetic with Divisibility. Antonia Lechner, Joël Ouaknine, James Worrell |
| 2015 | On the Complexity of Temporal Equilibrium Logic. Laura Bozzelli, David Pearce |
| 2015 | On the Relative Usefulness of Fireballs. Beniamino Accattoli, Claudio Sacerdoti Coen |
| 2015 | One Context Unification Problems Solvable in Polynomial Time. Adrià Gascón, Ashish Tiwari, Manfred Schmidt-Schauß |
| 2015 | PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic. Facundo Carreiro |
| 2015 | Parallelism and Synchronization in an Infinitary Context. Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu |
| 2015 | Path Logics for Querying Graphs: Combining Expressiveness and Efficiency. Diego Figueira, Leonid Libkin |
| 2015 | Petri Automata for Kleene Allegories. Paul Brunet, Damien Pous |
| 2015 | Polarised Intermediate Representation of Lambda Calculus with Sums. Guillaume Munch-Maccagnoni, Gabriel Scherer |
| 2015 | Privacy and the Price of Data. Daniel Kifer |
| 2015 | Programs for Cheap! Jennifer Hackett, Graham Hutton |
| 2015 | Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete. Michael Blondin, Alain Finkel, Stefan Göller, Christoph Haase, Pierre McKenzie |
| 2015 | Recent Developments in Quantitative Information Flow (Invited Tutorial). Geoffrey Smith |
| 2015 | Regularity Preserving but Not Reflecting Encodings. Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
| 2015 | Separating Regular Languages with Two Quantifiers Alternations. Thomas Place |
| 2015 | Star Height via Games. Mikolaj Bojanczyk |
| 2015 | The Complexity of Boundedness for Guarded Logics. Michael Benedikt, Balder ten Cate, Thomas Colcombet, Michael Vanden Boom |
| 2015 | The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable. Tomasz Gogacz, Jerzy Marcinkowski |
| 2015 | The Parallel Intensionally Fully Abstract Games Model of PCF. Simon Castellan, Pierre Clairambault, Glynn Winskel |
| 2015 | The Target Discounted-Sum Problem. Udi Boker, Thomas A. Henzinger, Jan Otop |
| 2015 | Timed Pushdown Automata Revisited. Lorenzo Clemente, Slawomir Lasota |
| 2015 | Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results. Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii |
| 2015 | Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. Krishnendu Chatterjee, Zuzana Komárková, Jan Kretínský |
| 2015 | Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth. Andreas Krebs, Oleg Verbitsky |
| 2015 | Varieties of Languages in a Category. Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius |