| 2005 | L-Nets, Strategies and Proof-Nets. | Pierre-Louis Curien, Claudia Faggian |
| 2005 | The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic. | Bruno Courcelle, Christian Delhomm |
| 2005 | On Bunched Polymorphism. | Matthew Collinson, David J. Pym, Edmund Robinson |
| 2005 | From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction. | Hubie Chen, Vctor Dalmau |
| 2005 | Focusing the Inverse Method for Linear Logic. | Kaustuv Chaudhuri, Frank Pfenning |
| 2005 | Bounded Model Checking of Pointer Programs. | Witold Charatonik, Lilia Georgieva, Patrick Maier |
| 2005 | On the Complexity of Hybrid Logics with Binders. | Balder ten Cate, Massimo Franceschet |
| 2005 | Computing with Sequences, Weak Topologies and the Axiom of Choice. | Vasco Brattka, Matthias Schrder |
| 2005 | The Complexity of Independence-Friendly Fixpoint Logic. | Julian C. Bradfield, Stephan Kreutzer |
| 2005 | Transfinite Extension of the Mu-Calculus. | Julian C. Bradfield, Jacques Duparc, Sandra Quickert |
| 2005 | Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations. | Frdric Blanqui |
| 2005 | An Abstract Strong Normalization Theorem. | Ulrich Berger |
| 2005 | Towards a Characterization of Order-Invariant Queries over Tame Structures. | Michael Benedikt, Luc Segoufin |
| 2005 | On the Role of Type Decorations in the Calculus of Inductive Constructions. | Bruno Barras, Benjamin Grgoire |
| 2005 | Note on Formal Analogical Reasoning in the Juridical Context. | Matthias Baaz |
| 2005 | Permutative Logic. | Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet |
| 2005 | A Logic of Coequations. | Jir Admek |
| 2004 | Towards Mechanized Program Verification with Separation Logic. | Tjark Weber |
| 2004 | Subtyping Union Types. | Jerome Vouillon |
| 2004 | My (Un)Favourite Things. | Pawel Urzyczyn |
| 2004 | On Proof Nets for Multiplicative Linear Logic with Units. | Lutz Straburger, Franois Lamarche |
| 2004 | A Third-Order Bounded Arithmetic Theory for PSPACE. | Alan Skelley |
| 2004 | On the Building of Affine Retractions. | Aleksy Schubert |
| 2004 | The Logic of the Partial lambda-Calculus with Equality. | Lutz Schrder |
| 2004 | A Dependent Type Theory with Names and Binding. | Ulrich Schpp, Ian Stark |