| 2003 | A Game Semantics for Generic Polymorphism. Samson Abramsky, Radha Jagadeesan |
| 2003 | A Game Semantics of Linearly Used Continuations. James Laird |
| 2003 | A Monadic Multi-stage Metalanguage. Eugenio Moggi, Sonia Fagorzi |
| 2003 | A Normalisation Result for Higher-Order Calculi with Explicit Substitutions. Eduardo Bonelli |
| 2003 | Abstraction in Reasoning about Higraph-Based Systems. John Power, Konstantinos Tourlas |
| 2003 | Ambiguous Classes in the Games µ-Calculus Hierarchy. André Arnold, Luigi Santocanale |
| 2003 | An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell |
| 2003 | Categories of Containers. Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani |
| 2003 | Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete. Patrick Maier |
| 2003 | Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time. Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion |
| 2003 | Cones and Foci for Protocol Verification Revisited. Wan J. Fokkink, Jun Pang |
| 2003 | Counting and Equality Constraints for Multitree Automata. Denis Lugiez |
| 2003 | Deriving Bisimulation Congruences: 2-Categories Vs Precategories. Vladimiro Sassone, Pawel Sobocinski |
| 2003 | Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings Andrew D. Gordon |
| 2003 | Generalized Iteration and Coiteration for Higher-Order Nested Datatypes. Andreas Abel, Ralph Matthes, Tarmo Uustalu |
| 2003 | Genericity and the pi-Calculus. Martin Berger, Kohei Honda, Nobuko Yoshida |
| 2003 | Manipulating Trees with Hidden Labels. Luca Cardelli, Philippa Gardner, Giorgio Ghelli |
| 2003 | Model Checking Lossy Channels Systems Is Probably Decidable. Nathalie Bertrand, Philippe Schnoebelen |
| 2003 | Multi-level Meta-reasoning with Higher-Order Abstract Syntax. Alberto Momigliano, Simon Ambler |
| 2003 | On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus. Christoph Sprenger, Mads Dam |
| 2003 | Parameterized Verification by Probabilistic Abstraction. Tamarah Arons, Amir Pnueli, Lenore D. Zuck |
| 2003 | The Converse of a Stochastic Relation. Ernst-Erich Doberkat |
| 2003 | The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard. Emanuel Kieronski |
| 2003 | Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems. Matthew Hennessy, Massimo Merro, Julian Rathke |
| 2003 | Type Assignment for Intersections and Unions in Call-by-Value Languages. Jana Dunfield, Frank Pfenning |
| 2003 | Verification of Cryptographic Protocols: Tagging Enforces Termination. Bruno Blanchet, Andreas Podelski |
| 2003 | Verification of Probabilistic Systems with Faulty Communication. Parosh Aziz Abdulla, Alexander Moshe Rabinovich |
| 2003 | When Ambients Cannot Be Opened. Iovka Boneva, Jean-Marc Talbot |