| 2008 | A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms. | Olivier Hermant, James Lipton |
| 2008 | An Indexed System for Multiplicative Additive Polarized Linear Logic. | Masahiro Hamano, Ryo Takemura |
| 2008 | Continuous Fragment of the mu-Calculus. | Galle Fontaine |
| 2008 | Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract). | Jochen Eisinger |
| 2008 | On Isomorphisms of Intersection Types. | Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta |
| 2008 | The Descriptive Complexity of Parity Games. | Anuj Dawar, Erich Grdel |
| 2008 | The Joy of String Diagrams. | Pierre-Louis Curien |
| 2008 | Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint. | Nadia Creignou, Henning Schnoor, Ilka Schnoor |
| 2008 | The Nesting-Depth of Disjunctive -Calculus for Tree Languages and the Limitedness Problem. | Thomas Colcombet, Christof Lding |
| 2008 | Quantitative Languages. | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
| 2008 | Quantified Positive Temporal Constraints. | Witold Charatonik, Michal Wrona |
| 2008 | Molecules as Automata. | Luca Cardelli |
| 2008 | On the Almighty Wand. | Rmi Brochenin, Stphane Demri, tienne Lozes |
| 2008 | Recursion Schemata for NCk. | Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem |
| 2008 | The Computability Path Ordering: The End of a Quest. | Frdric Blanqui, Jean-Pierre Jouannaud, Albert Rubio |
| 2008 | A Tight Karp-Lipton Collapse Result in Bounded Arithmetic. | Olaf Beyersdorff, Sebastian Mller |
| 2008 | A Calculus of Realizers for EM1 Arithmetic (Extended Abstract). | Stefano Berardi, Ugo de'Liguoro |
| 2008 | Type-Based Termination with Sized Products. | Gilles Barthe, Benjamin Grgoire, Colin Riba |
| 2008 | Syntactic Metatheory of Higher-Order Subtyping. | Andreas Abel, Dulma Rodriguez |
| 2007 | Structure Theorem and Strict Alternation Hierarchy for FO | Philipp Weis, Neil Immerman |
| 2007 | Logical Refinements of Church's Problem. | Alexander Rabinovich, Wolfgang Thomas |
| 2007 | Clique-Width and Parity Games. | Jan Obdrzlek |
| 2007 | Correctness of Multiplicative (and Exponential) Proof Structures is | Paulin Jacob de Naurois, Virgile Mogbil |
| 2007 | Bad Variables Under Control. | Andrzej S. Murawski |
| 2007 | Classical Program Extraction in the Calculus of Constructions. | Alexandre Miquel |