| 2011 | Complexity of Strongly Normalising | Alexis Bernadet, Stphane Lengrand |
| 2011 | What Do Reversible Programs Compute? | Holger Bock Axelsen, Robert Glck |
| 2011 | When Is a Type Refinement an Inductive Type? | Robert Atkey, Patricia Johann, Neil Ghani |
| 2011 | Deriving Labels and Bisimilarity for Concurrent Constraint Programming. | Andrs Aristizbal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia |
| 2011 | Irrelevance in Type Theory with a Heterogeneous Equality Judgement. | Andreas Abel |
| 2010 | Parameterised Multiparty Session Types. | Nobuko Yoshida, Pierre-Malo Denilou, Andi Bejleri, Raymond Hu |
| 2010 | Forward Analysis of Depth-Bounded Processes. | Thomas Wies, Damien Zufferey, Thomas A. Henzinger |
| 2010 | Untyped Recursion Schemes and Infinite Intersection Types. | Takeshi Tsukada, Naoki Kobayashi |
| 2010 | Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems. | Anthony Widjaja To, Leonid Libkin |
| 2010 | Introduction to Decidability of Higher-Order Matching. | Colin Stirling |
| 2010 | Completeness for Algebraic Theories of Local State. | Sam Staton |
| 2010 | A Semantic Foundation for Hidden State. | Jan Schwinghammer, Hongseok Yang, Lars Birkedal, Franois Pottier, Bernhard Reus |
| 2010 | Coalgebraic Correspondence Theory. | Lutz Schrder, Dirk Pattinson |
| 2010 | A Hierarchy for Delimited Continuations in Call-by-Name. | Alexis Saurin |
| 2010 | Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization. | Andrei Popescu, Elsa L. Gunter |
| 2010 | Solvability in Resource Lambda-Calculus. | Michele Pagani, Simona Ronchi Della Rocca |
| 2010 | Model Checking | Flemming Nielson, Hanne Riis Nielson |
| 2010 | Block Structure vs. Scope Extrusion: Between Innocence and Omniscience. | Andrzej S. Murawski, Nikos Tzevelekos |
| 2010 | CIA Structures and the Semantics of Recursion. | Stefan Milius, Lawrence S. Moss, Daniel Schwencke |
| 2010 | Counting CTL. | Franois Laroussinie, Antoine Meyer, Eudes Petonnet |
| 2010 | Degrees of Lookahead in Regular Infinite Games. | Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas |
| 2010 | Reachability Analysis of Communicating Pushdown Systems. | Alexander Heuner, Jrme Leroux, Anca Muscholl, Grgoire Sutre |
| 2010 | Retaining the Probabilities in Probabilistic Testing Theory. | Sonja Georgievska, Suzana Andova |
| 2010 | Linearly-Used Continuations in the Enriched Effect Calculus. | Jeff Egger, Rasmus Ejlers Mgelberg, Alex Simpson |
| 2010 | When Model-Checking Freeze LTL over Counter Machines Becomes Decidable. | Stphane Demri, Arnaud Sangnier |