| 2003 | A Fixed-Point Logic with Symmetric Choice. Anuj Dawar, David Richerby |
| 2003 | A Logic for Probability in Quantum Systems. Ron van der Meyden, Manas K. Patra |
| 2003 | A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory. Alexandre Miquel |
| 2003 | Atomic Cut Elimination for classical Logic. Kai Brünnler |
| 2003 | Automata on Lempel-ziv Compressed Strings. Hans Leiß, Michel de Rougemont |
| 2003 | Back to the Future: Explicit Logic for Computer Science (Invited Lecture). Sergei N. Artëmov |
| 2003 | Bistability: An Extensional Characterization of Sequentiality. James Laird |
| 2003 | Calculi of Meta-variables. Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi |
| 2003 | Comparing the Succinctness of Monadic Query Languages over Finite Trees. Martin Grohe, Nicole Schweikardt |
| 2003 | Complexity of Some Problems in Modal and Intuitionistic Calculi. Larisa Maksimova, Andrei Voronkov |
| 2003 | Computational Aspects of sigma-Definability over the Real Numbers without the Equality Test. Margarita V. Korovina |
| 2003 | Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture). Bruno Buchberger |
| 2003 | Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings Matthias Baaz, Johann A. Makowsky |
| 2003 | Concurrent Construction of Proof-Nets. Jean-Marc Andreoli, Laurent Mazaré |
| 2003 | Constraint Satisfaction with Countable Homogeneous Templates. Manuel Bodirsky, Jaroslav Nesetril |
| 2003 | Coping Polynomially with Numerous but Identical Elements within Planning Problems. Max I. Kanovich, Jacqueline Vauzeilles |
| 2003 | Deciding Monotonic Games. Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso |
| 2003 | Effective Model Completeness of the Theory of Restricted Pfaffian Functions (Invited Lecture). Nicolai N. Vorobjov Jr. |
| 2003 | Effective Quantifier Elimination over Real Closed Fields (Tutorial). Nicolai N. Vorobjov Jr. |
| 2003 | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron |
| 2003 | Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture). Tatiana Rybina, Andrei Voronkov |
| 2003 | Friends or Foes? Communities in Software Verification (Invited Lecture). Helmut Veith |
| 2003 | Generating All Abductive Explanations for Queries on Propositional Horn Theories. Thomas Eiter, Kazuhisa Makino |
| 2003 | Goal-Directed Calculli for Gödel-Dummett Logics. George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
| 2003 | Henkin Models of the Partial sigma-Calculus. Lutz Schröder |
| 2003 | Logical Relations for Dynamic Name Creation. Yu Zhang, David Nowak |
| 2003 | Machine Characterization of the Classes of the W-Hierarchy. Yijia Chen, Jörg Flum |
| 2003 | Modular Semantics and Logics of Classes. Bernhard Reus |
| 2003 | More Computation Power for a Denotational Semantics for First Order Logic. Kess F. M. Vermeulen |
| 2003 | Nominal Unificaiton. Christian Urban, Andrew M. Pitts, Murdoch Gabbay |
| 2003 | On Algebraic Specifications of Abstract Data Types. Bakhadyr Khoussainov |
| 2003 | On Relativisation and Complexity Gap. Stefan S. Dantchev, Søren Riis |
| 2003 | On the Complexity of Existential Pebble Games. Phokion G. Kolaitis, Jonathan Panttaja |
| 2003 | Parity of Imperfection of Fixing Independence. Julian C. Bradfield |
| 2003 | Pebble Games on Trees. Lukasz Krzeszczakowski |
| 2003 | Positive Games and Persistent Strategies. Jacques Duparc |
| 2003 | Program Complexity of Dynamic LTL Model Checking. Detlef Kähler, Thomas Wilke |
| 2003 | Quantified Constraints: Algorithms and Complexity. Ferdinand Börner, Andrei A. Bulatov, Peter Jeavons, Andrei A. Krokhin |
| 2003 | Refined Complexity Analysis of Cut Elimination. Philipp Gerhardy |
| 2003 | Simple Stochastic Parity Games. Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger |
| 2003 | Strong Normalization of the Typed gamma René David, Bruno Guillaume |
| 2003 | The Arithmetical Complexity of Dimension and Randomness. John M. Hitchcock, Jack H. Lutz, Sebastiaan Terwijn |
| 2003 | The Commuting V-Diagram. Bernhard K. Aichernig |
| 2003 | The Epsilon Calculus (Tutorial). Georg Moser, Richard Zach |
| 2003 | The Surprising Power of Restricted Programs and Gödel's Functionals. Lars Kristiansen, Paul J. Voda |
| 2003 | Towards a Proof System for Admissibility. Rosalie Iemhoff |
| 2003 | Validity of CTL Queries Revisited. Marko Samer, Helmut Veith |
| 2003 | Verification of Infinite State Systems (Tutorial). Ahmed Bouajjani |
| 2003 | Winning Strategies and Synthesis of Controllers (Tutorial). Igor Walukiewicz |