| 417 | -- | 422 | Peter Höfner. Preface |
| 423 | -- | 431 | Tony Hoare, Stephan van Staden. In praise of algebra |
| 433 | -- | 458 | José Nuno Oliveira. Towards a linear algebra of programming |
| 459 | -- | 476 | Peter Höfner, Bernhard Möller. Dijkstra, Floyd and Warshall meet Kleene |
| 477 | -- | 496 | Mani Swaminathan, Joost-Pieter Katoen, Ernst-Rüdiger Olderog. Layered reasoning for randomized distributed algorithms |
| 497 | -- | 518 | Jasen Markovski, Pedro R. D'Argenio, Jos C. M. Baeten, Erik P. de Vink. Reconciling real and stochastic time: the need for probabilistic refinement |
| 519 | -- | 535 | K. Rustan M. Leino, Kuat Yessenov. Stepwise refinement of heap-manipulating code in Chalice |
| 537 | -- | 554 | Bengt Jonsson. Using refinement calculus techniques to prove linearizability |
| 555 | -- | 567 | Michael Butler. External and internal choice with event groups in Event-B |
| 569 | -- | 594 | Alberto Pettorossi, Maurizio Proietti, Valerio Senni. Constraint-based correctness proofs for logic program transformations |
| 595 | -- | 607 | Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell. On termination and invariance for faulty channel machines |
| 609 | -- | 621 | Richard S. Bird. On building cyclic and shared structures in Haskell |
| 623 | -- | 645 | Kento Emoto, Sebastian Fischer, Zhenjiang Hu. Filter-embedding semiring fusion for programming with MapReduce |
| 647 | -- | 660 | Glynn Winskel. Deterministic concurrent strategies |
| 661 | -- | 670 | Marta Z. Kwiatkowska, Gethin Norman, David Parker. Probabilistic verification of Herman's self-stabilisation algorithm |
| 671 | -- | 678 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell. Three tokens in Herman's algorithm |
| 679 | -- | 699 | Robert M. Hierons, Manuel Núñez. Using schedulers to test probabilistic distributed systems |
| 701 | -- | 726 | Yuxing Deng, Alwen Tiu. Characterisations of testing preorders for a finite probabilistic π-calculus |
| 727 | -- | 748 | Sonja Georgievska, Suzana Andova. Probabilistic may/must testing: retaining probabilities by restricted schedulers |
| 749 | -- | 768 | Matthew Hennessy. Exploring probabilistic bisimulations, part I |
| 769 | -- | 792 | Ron van der Meyden. Architectural refinement and notions of intransitive noninterference |
| 793 | -- | 805 | Jayadev Misra. A secure voting scheme based on rational self-interest |