| 2004 | A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation. | Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato |
| 2004 | Notions of Average-Case Complexity for Random 3-SAT. | Albert Atserias |
| 2004 | Game-Based Notions of Locality Over Finite Models. | Marcelo Arenas, Pablo Barcel, Leonid Libkin |
| 2004 | A Functional Scenario for Bytecode Verification of Resource Bounds. | Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec |
| 2004 | Fixed Points of Type Constructors and Primitive Recursion. | Andreas Abel, Ralph Matthes |
| 2003 | Logical Relations for Dynamic Name Creation. | Yu Zhang, David Nowak |
| 2003 | Winning Strategies and Synthesis of Controllers (Tutorial). | Igor Walukiewicz |
| 2003 | Effective Quantifier Elimination over Real Closed Fields (Tutorial). | Nicolai N. Vorobjov Jr. |
| 2003 | Effective Model Completeness of the Theory of Restricted Pfaffian Functions (Invited Lecture). | Nicolai N. Vorobjov Jr. |
| 2003 | More Computation Power for a Denotational Semantics for First Order Logic. | Kess F. M. Vermeulen |
| 2003 | Friends or Foes? Communities in Software Verification (Invited Lecture). | Helmut Veith |
| 2003 | Nominal Unificaiton. | Christian Urban, Andrew M. Pitts, Murdoch Gabbay |
| 2003 | Henkin Models of the Partial sigma-Calculus. | Lutz Schrder |
| 2003 | Calculi of Meta-variables. | Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi |
| 2003 | Validity of CTL Queries Revisited. | Marko Samer, Helmut Veith |
| 2003 | Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture). | Tatiana Rybina, Andrei Voronkov |
| 2003 | Modular Semantics and Logics of Classes. | Bernhard Reus |
| 2003 | The Epsilon Calculus (Tutorial). | Georg Moser, Richard Zach |
| 2003 | A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory. | Alexandre Miquel |
| 2003 | A Logic for Probability in Quantum Systems. | Ron van der Meyden, Manas K. Patra |
| 2003 | Goal-Directed Calculli for Gdel-Dummett Logics. | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
| 2003 | Complexity of Some Problems in Modal and Intuitionistic Calculi. | Larisa Maksimova, Andrei Voronkov |
| 2003 | Automata on Lempel-ziv Compressed Strings. | Hans Lei, Michel de Rougemont |
| 2003 | Bistability: An Extensional Characterization of Sequentiality. | James Laird |
| 2003 | Pebble Games on Trees. | Lukasz Krzeszczakowski |