| 2015 | A Categorical Semantics for Linear Logical Frameworks. Matthijs Vákár |
| 2015 | A Completeness Result for Finite λ-bisimulations. Joost Winter |
| 2015 | An Infinitary Model of Linear Logic. Charles Grellois, Paul-André Melliès |
| 2015 | Coalgebraic Trace Semantics via Forgetful Logics. Bartek Klin, Jurriaan Rot |
| 2015 | Compositional Metric Reasoning with Probabilistic Process Calculi. Daniel Gebler, Kim Guldstrand Larsen, Simone Tini |
| 2015 | Decidable and Expressive Classes of Probabilistic Automata. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Yue Ben |
| 2015 | Foundations of Differential Dataflow. Martín Abadi, Frank McSherry, Gordon D. Plotkin |
| 2015 | Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings Andrew M. Pitts |
| 2015 | Fragments of ML Decidable by Nested Data Class Memory Automata. Conrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong |
| 2015 | Game Semantics and Normalization by Evaluation. Pierre Clairambault, Peter Dybjer |
| 2015 | Knowledge = Observation + Memory + Computation. Blaise Genest, Doron A. Peled, Sven Schewe |
| 2015 | Minimisation of Multiplicity Tree Automata. Stefan Kiefer, Ines Marusic, James Worrell |
| 2015 | On Presburger Arithmetic Extended with Modulo Counting Quantifiers. Peter Habermehl, Dietrich Kuske |
| 2015 | On the Dependencies of Logical Rules. Marc Bagnol, Amina Doumane, Alexis Saurin |
| 2015 | On the Mints Hierarchy in First-Order Intuitionistic Logic. Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski |
| 2015 | On the Total Variation Distance of Semi-Markov Chains. Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare |
| 2015 | Operational Nominal Game Semantics. Guilhem Jaber |
| 2015 | Parity Games of Bounded Tree- and Clique-Width. Moses Ganardi |
| 2015 | Polarized Substructural Session Types. Frank Pfenning, Dennis Griffith |
| 2015 | Programming and Reasoning with Guarded Recursion for Coinductive Types. Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal |
| 2015 | Robust Multidimensional Mean-Payoff Games are Undecidable. Yaron Velner |
| 2015 | Sequent Calculus in the Topos of Trees. Ranald Clouston, Rajeev Goré |
| 2015 | States of Convex Sets. Bart Jacobs, Bas Westerbaan, Bram Westerbaan |
| 2015 | Step-Indexed Logical Relations for Probability. Ales Bizjak, Lars Birkedal |
| 2015 | Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism. Konstantinos Mamouras |
| 2015 | The Computational Contents of Ramified Corecurrence. Daniel Leivant, Ramyaa Ramyaa |
| 2015 | The Cyclic-Routing UAV Problem is PSPACE-Complete. Hsi-Ming Ho, Joël Ouaknine |
| 2015 | Three Variables Suffice for Real-Time Logic. Timos Antonopoulos, Paul Hunter, Shahab Raza, James Worrell |
| 2015 | Typing Weak MSOL Properties. Sylvain Salvati, Igor Walukiewicz |
| 2015 | Unifying Hyper and Epistemic Temporal Logics. Laura Bozzelli, Bastien Maubert, Sophie Pinchinat |