| 2012 | A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation. Toby Wilkinson |
| 2012 | A Graphical Foundation for Schedules. Guy McCusker, John Power, Cai Wingfield |
| 2012 | A Representation Theorem for Unique Decomposition Categories. Naohiko Hoshino |
| 2012 | A Simply Typed λ-Calculus of Forward Automatic Differentiation. Oleksandr Manzyuk |
| 2012 | A System-Level Game Semantics. Dan R. Ghica, Nikos Tzevelekos |
| 2012 | A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources. Dan Teodosiu |
| 2012 | Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators. Roy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut |
| 2012 | Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? Mike Behrisch, Sebastian Kerkhoff, John Power |
| 2012 | Dedication. Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden |
| 2012 | Extracting a DPLL Algorithm. Andrew Lawrence, Ulrich Berger, Monika Seisenberger |
| 2012 | Final Semantics for Decorated Traces. Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva |
| 2012 | Game Semantics in the Nominal Model. Murdoch Gabbay, Dan R. Ghica |
| 2012 | Network Conscious π-calculus: A Concurrent Semantics. Ugo Montanari, Matteo Sammartino |
| 2012 | New. Dexter Kozen |
| 2012 | Nominal SOS. Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch James Gabbay |
| 2012 | Observationally-induced Effects in Cartesian Closed Categories. Ingo Battenfeld |
| 2012 | Preface. Ulrich Berger, Michael W. Mislove |
| 2012 | Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2012, Bath, UK, June 6-9, 2012 Ulrich Berger, Michael W. Mislove |
| 2012 | Syntactic Control of Interference and Concurrent Separation Logic. Stephen Brookes |
| 2012 | Time Bounds for General Function Pointers. Robert Dockins, Aquinas Hobor |
| 2012 | Timed Sets, Functional Complexity, and Computability. J. Robin B. Cockett, Joaquín Díaz-Boïls, Jonathan Gallagher, Pavel Hrubes |
| 2012 | Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming. Wolfgang Jeltsch |
| 2012 | Typed vs. Untyped Realizability. Ulrich Berger, Tie Hou |