| 2010 | A Tracking Semantics for CSP. Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2010 | Abstraction of Object Graphs in Program Verification. Yifeng Chen, Jeff W. Sanders |
| 2010 | Adjoint Folds and Unfolds. Ralf Hinze |
| 2010 | An Abstract Machine for the Old Value Retrieval. Piotr Kosiuczenko |
| 2010 | Compositional Action System Derivation Using Enforced Properties. Brijesh Dongol, Ian J. Hayes |
| 2010 | Compositionality of Secure Information Flow. Catuscia Palamidessi |
| 2010 | Dependently Typed Grammars. Kasper Brink, Stefan Holdermans, Andres Löh |
| 2010 | Designing an Algorithmic Proof of the Two-Squares Theorem. João F. Ferreira |
| 2010 | Formal Derivation of Concurrent Garbage Collectors. Dusko Pavlovic, Peter Pepper, Douglas R. Smith |
| 2010 | Generic Point-free Lenses. Hugo Pacheco, Alcino Cunha |
| 2010 | Gradual Refinement. Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu |
| 2010 | Lucy-n: a n-Synchronous Extension of Lustre. Louis Mandel, Florence Plateau, Marc Pouzet |
| 2010 | Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings Claude Bolduc, Josée Desharnais, Béchir Ktari |
| 2010 | Matrices as Arrows! Hugo Daniel Macedo, José Nuno Oliveira |
| 2010 | On Automated Program Construction and Verification. Rudolf Berghammer, Georg Struth |
| 2010 | Partial, Total and General Correctness. Walter Guttmann |
| 2010 | Process Algebras for Collective Dynamics. Jane Hillston |
| 2010 | Sampling, Splitting and Merging in Coinductive Stream Calculus. Milad Niqui, Jan J. M. M. Rutten |
| 2010 | Subtyping, Declaratively. Nils Anders Danielsson, Thorsten Altenkirch |
| 2010 | Temporal Logic Verification of Lock-Freedom. Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif |
| 2010 | The Algorithmics of Solitaire-Like Games. Roland Carl Backhouse, Wei Chen, João F. Ferreira |
| 2010 | The Logic of Large Enough. Eerke A. Boiten, Dan Grundy |
| 2010 | Unifying Theories of Programming That Distinguish Nontermination and Abort. Ian J. Hayes, Steve Dunne, Larissa Meinicke |