| 2009 | On the Relation between Sized-Types Based Termination and Semantic Labelling. | Frdric Blanqui, Cody Roux |
| 2009 | From Coinductive Proofs to Exact Real Arithmetic. | Ulrich Berger |
| 2009 | Cardinality Quantifiers in MLO over Trees. | Vince Brny, Lukasz Kaiser, Alexander Rabinovich |
| 2009 | Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems. | Albert Atserias, Mark Weyer |
| 2009 | Algorithmic Analysis of Array-Accessing Programs. | Rajeev Alur, Pavol Cern, Scott Weinstein |
| 2009 | Tree-Width for First Order Formulae. | Isolde Adler, Mark Weyer |
| 2009 | Jumping Boxes. | Beniamino Accattoli, Stefano Guerrini |
| 2009 | Typed Applicative Structures and Normalization by Evaluation for System F | Andreas Abel |
| 2008 | A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic. | Paolo Tranquilli |
| 2008 | An Infinite Automaton Characterization of Double Exponential Time. | Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
| 2008 | Model Transformations in Decidability Proofs for Monadic Theories. | Wolfgang Thomas |
| 2008 | An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games. | Sven Schewe |
| 2008 | On the Relations between the Syntactic Theories of lambda-mu-Calculi. | Alexis Saurin |
| 2008 | Characterization of Logics over Ranked Tree Languages. | Thomas Place |
| 2008 | Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. | Ruzica Piskac, Viktor Kuncak |
| 2008 | Proving Infinitude of Prime Numbers Using Binomial Coefficients. | Phuong Nguyen |
| 2008 | Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence. | Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano |
| 2008 | Extensional Uniformity for Boolean Circuits. | Pierre McKenzie, Michael Thomas, Heribert Vollmer |
| 2008 | The Ackermann Award 2008. | Johann A. Makowsky, Damian Niwinski |
| 2008 | Quantitative Game Semantics for Linear Logic. | Ugo Dal Lago, Olivier Laurent |
| 2008 | On Counting Generalized Colorings. | Tomer Kotek, Johann A. Makowsky, Boris Zilber |
| 2008 | A Characterisation of Lambda Definability with Sums Via TT-Closure Operators. | Shin-ya Katsumata |
| 2008 | Superposition for Fixed Domains. | Matthias Horbach, Christoph Weidenbach |
| 2008 | Pure Pointer Programs with Iteration. | Martin Hofmann, Ulrich Schpp |
| 2008 | Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. | Ian M. Hodkinson, Angelo Montanari, Guido Sciavicco |