| 2008 | Combining Generic Judgments with Recursive Definitions. | Andrew Gacek, Dale Miller, Gopalan Nadathur |
| 2008 | Second-Order and Dependently-Sorted Abstract Syntax. | Marcelo P. Fiore |
| 2008 | The Geometry of Interaction of Differential Interaction Nets. | Marc de Falco |
| 2008 | Weak Topology and a Differentiable Operator for Lipschitz Maps. | Abbas Edalat |
| 2008 | Hypergraph Acyclicity and Extension Preservation Theorems. | David Duris |
| 2008 | A Neutral Approach to Proof and Refutation in MALL. | Olivier Delande, Dale Miller |
| 2008 | Maltsev + Datalog --> Symmetric Datalog. | Vctor Dalmau, Benot Larose |
| 2008 | From Axioms to Analytic Rules in Nonclassical Logics. | Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui |
| 2008 | Quantified Constraints and Containment Problems. | Hubie Chen, Florent R. Madelaine, Barnaby Martin |
| 2008 | On the Axiomatizability of Impossible Futures: Preorder versus Equivalence. | Taolue Chen, Wan J. Fokkink |
| 2008 | The Ordinal Recursive Complexity of Lossy Channel Systems. | Pierre Chambart, Philippe Schnoebelen |
| 2008 | On the Expressiveness and Complexity of Randomization in Finite State Monitors. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2008 | Caterpillar Duality for Constraint Satisfaction Problems. | Catarina Carvalho, Vctor Dalmau, Andrei A. Krokhin |
| 2008 | Winning Regions of Higher-Order Pushdown Games. | Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre |
| 2008 | A First-Order Representation of Pure Type Systems Using Superdeduction. | Guillaume Burel |
| 2008 | The Satisfiability Problem for Probabilistic CTL. | Toms Brzdil, Vojtech Forejt, Jan Kretnsk, Antonn Kucera |
| 2008 | Piecewise Testable Tree Languages. | Mikolaj Bojanczyk, Luc Segoufin, Howard Straubing |
| 2008 | An Algebraic Process Calculus. | Emmanuel Beffara |
| 2008 | Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. | Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Grer |
| 2008 | On the Computational Complexity of Cut-Reduction. | Klaus Aehlig, Arnold Beckmann |
| 2007 | Full abstraction for nominal general references. | Nikos Tzevelekos |
| 2007 | A Robust Class of Context-Sensitive Languages. | Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato |
| 2007 | Higher-Order Matching, Games and Automata. | Colin Stirling |
| 2007 | Stratified Bounded Affine Logic for Logarithmic Space. | Ulrich Schpp |
| 2007 | Environmental Bisimulations for Higher-Order Languages. | Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii |