| 2011 | 2-Dimensional Directed Type Theory. Daniel R. Licata, Robert Harper |
| 2011 | A Quantum Representation for Involution Groups. Tanner Crowder |
| 2011 | A Resource Analysis of the π-calculus. Aaron Joseph Turon, Mitchell Wand |
| 2011 | A Revisionist History of Concurrent Separation Logic. Stephen Brookes |
| 2011 | Capsules and Closures. Jean-Baptiste Jeannin |
| 2011 | Concurrent Separation Logic and Operational Semantics. Viktor Vafeiadis |
| 2011 | Formal Reduction for Rule-based Models. Ferdinanda Camporesi, Jérôme Feret |
| 2011 | Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract). Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta |
| 2011 | From Applicative to Environmental Bisimulation. Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii |
| 2011 | Multi-Linear Iterative K-Σ-Semialgebras. Zoltán Ésik |
| 2011 | Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions. Ingo Battenfeld, Matthias Schröder |
| 2011 | Precision and the Conjunction Rule in Concurrent Separation Logic. Alexey Gotsman, Josh Berdine, Byron Cook |
| 2011 | Preface. Michael W. Mislove, Joël Ouaknine |
| 2011 | Ramified Corecurrence and Logspace. Ramyaa Ramyaa, Daniel Leivant |
| 2011 | Realization of Coinductive Types. Dexter Kozen |
| 2011 | Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. Alexandra Silva, Ana Sokolova |
| 2011 | Step-Indexed Kripke Model of Separation Logic for Storable Locks. Alexandre Buisse, Lars Birkedal, Kristian Støvring |
| 2011 | Towards Effects in Mathematical Operational Semantics. Faris Abou-Saleh, Dirk Pattinson |
| 2011 | Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, MFPS 2011, Pittsburgh, PA, USA, May 25-28, 2011 Michael W. Mislove, Joël Ouaknine |