| 2015 | A Cubical Approach to Synthetic Homotopy Theory. | Daniel R. Licata, Guillaume Brunerie |
| 2015 | Demystifying Reachability in Vector Addition Systems. | Jrme Leroux, Sylvain Schmitz |
| 2015 | On the Complexity of Linear Arithmetic with Divisibility. | Antonia Lechner, Jol Ouaknine, James Worrell |
| 2015 | Parallelism and Synchronization in an Infinitary Context. | Ugo Dal Lago, Claudia Faggian, Benot Valiron, Akira Yoshimizu |
| 2015 | Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth. | Andreas Krebs, Oleg Verbitsky |
| 2015 | Extending ALCQIO with Trees. | Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger |
| 2015 | Automata-Based Abstraction Refinement for HORS Model Checking. | Naoki Kobayashi, Xin Li |
| 2015 | Locally Finite Constraint Satisfaction Problems. | Bartek Klin, Eryk Kopczynski, Joanna Ochremiak, Szymon Torunczyk |
| 2015 | Privacy and the Price of Data. | Daniel Kifer |
| 2015 | Domains of Commutative C-Subalgebras. | Chris Heunen, Bert Lindenhovius |
| 2015 | Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets. | Willem Heijltjes, Dominic J. D. Hughes |
| 2015 | Branching Bisimilarity on Normed BPA Is EXPTIME-Complete. | Chaodong He, Mingzhang Huang |
| 2015 | A Diagrammatic Axiomatisation for Qubit Entanglement. | Amar Hadzihasanovic |
| 2015 | Programs for Cheap! | Jennifer Hackett, Graham Hutton |
| 2015 | Characterising Choiceless Polynomial Time with First-Order Interpretations. | Erich Grdel, Wied Pakusa, Svenja Schalthfer, Lukasz Kaiser |
| 2015 | The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable. | Tomasz Gogacz, Jerzy Marcinkowski |
| 2015 | One Context Unification Problems Solvable in Polynomial Time. | Adri Gascn, Ashish Tiwari, Manfred Schmidt-Schau |
| 2015 | Path Logics for Querying Graphs: Combining Expressiveness and Efficiency. | Diego Figueira, Leonid Libkin |
| 2015 | Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. | Sebastian Enqvist, Fatemeh Seifan, Yde Venema |
| 2015 | Regularity Preserving but Not Reflecting Encodings. | Jrg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
| 2015 | Extensions of Domain Maps in Differential and Integral Calculus. | Abbas Edalat |
| 2015 | Game Semantics for Type Soundness. | Tim Disney, Cormac Flanagan |
| 2015 | A Complete Axiomatization of MSO on Infinite Trees. | Anupam Das, Colin Riba |
| 2015 | Descriptive Complexity of List H-Coloring Problems in Logspace: A Refined Dichotomy. | Vctor Dalmau, Lszl Egri, Pavol Hell, Benot Larose, Arash Rafiey |
| 2015 | Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME. | Wojciech Czerwinski, Petr Jancar |