| 2015 | A Model of Guarded Recursion With Clock Synchronisation. Ales Bizjak, Rasmus Ejlers Møgelberg |
| 2015 | A Model of PCF in Guarded Type Theory. Marco Paviotti, Rasmus Ejlers Møgelberg, Lars Birkedal |
| 2015 | A Presheaf Model of Parametric Type Theory. Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin |
| 2015 | Alternation-Free Weighted Mu-Calculus: Decidability and Completeness. Kim G. Larsen, Radu Mardare, Bingtian Xue |
| 2015 | An Effect-Theoretic Account of Lebesgue Integration. Bart Jacobs, Bram Westerbaan |
| 2015 | An Introduction to Algebraic Effects and Handlers. Invited tutorial paper. Matija Pretnar |
| 2015 | Bifibrational Functorial Semantics of Parametric Polymorphism. Neil Ghani, Patricia Johann, Fredrik Nordvall Forsberg, Federico Orsanigo, Tim Revell |
| 2015 | Complete Positivity and Natural Representation of Quantum Computations. Mathys Rennela, Sam Staton |
| 2015 | Conditioning in Probabilistic Programming. Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver |
| 2015 | Dirichlet is Natural. Vincent Danos, Ilias Garnier |
| 2015 | Focused Linear Logic and the λ-calculus. Taus Brock-Nannestad, Nicolas Guenot |
| 2015 | Healthiness Conditions for Predicate Transformers. Klaus Keimel |
| 2015 | Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders. Harsh Beohar, Pieter J. L. Cuijpers |
| 2015 | Preface. Dan R. Ghica |
| 2015 | Representation of Partial Traces. Marc Bagnol |
| 2015 | Reversible Monadic Computing. Chris Heunen, Martti Karvonen |
| 2015 | Sequential Algorithms for Unbounded Nondeterminism. James Laird |
| 2015 | Sound and Complete Equational Reasoning over Comodels. Dirk Pattinson, Lutz Schröder |
| 2015 | Stateful Runners of Effectful Computations. Tarmo Uustalu |
| 2015 | Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper). Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner |
| 2015 | The 31st Conference on the Mathematical Foundations of Programming Semantics, MFPS 2015, Nijmegen, The Netherlands, June 22-25, 2015 Dan R. Ghica |
| 2015 | The Expressiveness of CSP With Priority. A. W. Roscoe |
| 2015 | Towards Compositional Graph Theory. Apiwat Chantawibul, Pawel Sobocinski |
| 2015 | Unguarded Recursion on Coinductive Resumptions. Sergey Goncharov, Christoph Rauch, Lutz Schröder |
| 2015 | VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs. Robert Rand, Steve Zdancewic |