| 2009 | Ludics with Repetitions (Exponentials, Interactive Types and Completeness). | Michele Basaldella, Claudia Faggian |
| 2009 | Computation and the Periodic Table. | John Baez |
| 2009 | Indexed Containers. | Thorsten Altenkirch, Peter Morris |
| 2008 | Mechanizing the Metatheory of LF. | Christian Urban, James Cheney, Stefan Berghofer |
| 2008 | Types for Hereditary Permutators. | Makoto Tatsuta |
| 2008 | General Structural Operational Semantics through Categorical Logic. | Sam Staton |
| 2008 | Structural Logical Relations. | Carsten Schrmann, Jeffrey Sarnat |
| 2008 | On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity. | Sren Riis |
| 2008 | Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule. | Franois Pottier |
| 2008 | A Logic for Algebraic Effects. | Gordon D. Plotkin, Matija Pretnar |
| 2008 | Correctness of Multiplicative Additive Proof Structures is NL-Complete. | Paulin Jacob de Naurois, Virgile Mogbil |
| 2008 | Reachability Games and Game Semantics: Comparing Nondeterministic Programs. | Andrzej S. Murawski |
| 2008 | The Axiomatic Derivation of Absolute Lower Bounds. | Yiannis N. Moschovakis |
| 2008 | A Logical Characterization of Individual-Based Models. | James F. Lynch |
| 2008 | Focusing on Binding and Computation. | Daniel R. Licata, Noam Zeilberger, Robert Harper |
| 2008 | Cut Elimination for Monomial MALL Proof Nets. | Olivier Laurent, Roberto Maieli |
| 2008 | Typed Normal Form Bisimulation for Parametric Polymorphism. | Sren B. Lassen, Paul Blain Levy |
| 2008 | On the Expressiveness and Decidability of Higher-Order Process Calculi. | Ivan Lanese, Jorge A. Prez, Davide Sangiorgi, Alan Schmitt |
| 2008 | Nonlocal Flow of Control and Kleene Algebra with Tests. | Dexter Kozen |
| 2008 | Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs. | Vineet Kahlon |
| 2008 | From Automatic Structures to Borel Structures. | Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalbn, Andr Nies |
| 2008 | Collapsible Pushdown Automata and Recursion Schemes. | Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre |
| 2008 | Definable Tree Decompositions. | Martin Grohe |
| 2008 | The Quest for a Logic Capturing PTIME. | Martin Grohe |
| 2008 | Context Matching for Compressed Terms. | Adri Gascn, Guillem Godoy, Manfred Schmidt-Schau |