| 2003 | The Surprising Power of Restricted Programs and Gdel's Functionals. | Lars Kristiansen, Paul J. Voda |
| 2003 | Computational Aspects of sigma-Definability over the Real Numbers without the Equality Test. | Margarita V. Korovina |
| 2003 | On the Complexity of Existential Pebble Games. | Phokion G. Kolaitis, Jonathan Panttaja |
| 2003 | On Algebraic Specifications of Abstract Data Types. | Bakhadyr Khoussainov |
| 2003 | Coping Polynomially with Numerous but Identical Elements within Planning Problems. | Max I. Kanovich, Jacqueline Vauzeilles |
| 2003 | Program Complexity of Dynamic LTL Model Checking. | Detlef Khler, Thomas Wilke |
| 2003 | Towards a Proof System for Admissibility. | Rosalie Iemhoff |
| 2003 | The Arithmetical Complexity of Dimension and Randomness. | John M. Hitchcock, Jack H. Lutz, Sebastiaan Terwijn |
| 2003 | Comparing the Succinctness of Monadic Query Languages over Finite Trees. | Martin Grohe, Nicole Schweikardt |
| 2003 | Refined Complexity Analysis of Cut Elimination. | Philipp Gerhardy |
| 2003 | Generating All Abductive Explanations for Queries on Propositional Horn Theories. | Thomas Eiter, Kazuhisa Makino |
| 2003 | Positive Games and Persistent Strategies. | Jacques Duparc |
| 2003 | A Fixed-Point Logic with Symmetric Choice. | Anuj Dawar, David Richerby |
| 2003 | Strong Normalization of the Typed gamma | Ren David, Bruno Guillaume |
| 2003 | On Relativisation and Complexity Gap. | Stefan S. Dantchev, Sren Riis |
| 2003 | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. | Yannick Chevalier, Ralf Ksters, Michal Rusinowitch, Mathieu Turuani, Laurent Vigneron |
| 2003 | Machine Characterization of the Classes of the W-Hierarchy. | Yijia Chen, Jrg Flum |
| 2003 | Simple Stochastic Parity Games. | Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger |
| 2003 | Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture). | Bruno Buchberger |
| 2003 | Atomic Cut Elimination for classical Logic. | Kai Brnnler |
| 2003 | Parity of Imperfection of Fixing Independence. | Julian C. Bradfield |
| 2003 | Verification of Infinite State Systems (Tutorial). | Ahmed Bouajjani |
| 2003 | Quantified Constraints: Algorithms and Complexity. | Ferdinand Brner, Andrei A. Bulatov, Peter Jeavons, Andrei A. Krokhin |
| 2003 | Constraint Satisfaction with Countable Homogeneous Templates. | Manuel Bodirsky, Jaroslav Nesetril |
| 2003 | Back to the Future: Explicit Logic for Computer Science (Invited Lecture). | Sergei N. Artmov |