| 2012 | An Algebraic Calculus of Database Preferences. Bernhard Möller, Patrick Roocks, Markus Endres |
| 2012 | Calculating Graph Algorithms for Dominance and Shortest Path. Ilya Sergey, Jan Midtgaard, Dave Clarke |
| 2012 | Constructing Applicative Functors. Ross Paterson |
| 2012 | Dependently Typed Programming Based on Automated Theorem Proving. Alasdair Armstrong, Simon Foster, Georg Struth |
| 2012 | Deriving Real-Time Action Systems Controllers from Multiscale System Specifications. Brijesh Dongol, Ian J. Hayes |
| 2012 | Elementary Probability Theory in the Eindhoven Style. Carroll Morgan |
| 2012 | First-Past-the-Post Games. Roland Carl Backhouse |
| 2012 | Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick. Ralf Hinze |
| 2012 | Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings Jeremy Gibbons, Pablo Nogueira |
| 2012 | Modular Tree Automata. Patrick Bahr |
| 2012 | Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs. Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin |
| 2012 | Reverse Exchange for Concurrency and Local Reasoning. Han-Hing Dang, Bernhard Möller |
| 2012 | Scheduler-Independent Declassification. Alexander Lux, Heiko Mantel, Matthias Perner |
| 2012 | Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n. Louis Mandel, Florence Plateau |
| 2012 | The Geometry of Synthesis - How to Make Hardware Out of Software. Dan R. Ghica |
| 2012 | The Laws of Programming Unify Process Calculi. Tony Hoare, Stephan van Staden |
| 2012 | Unifying Correctness Statements. Walter Guttmann |