| 543 | -- | 544 | Michael Leuschel, Andreas Podelski, C. R. Ramakrishnan, Ulrich Ultes-Nitsche. Introduction to the Special Issue on Verification and Computational Logic |
| 545 | -- | 572 | Giampaolo Bella, Stefano Bistarelli. Soft Constraint Programming to Analysing Security Protocols |
| 573 | -- | 619 | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli. Model Checking Linear Logic Specifications |
| 621 | -- | 658 | Massimo Franceschet, Angelo Montanari. Temporalized logics and automata for time granularity |
| 659 | -- | 693 | Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe. On model checking data-independent systems with arrays without reset |
| 695 | -- | 718 | Carla Piazza, Alberto Policriti. Ackermann Encoding, Bisimulations, and OBDDs |
| 719 | -- | 751 | Alexander Serebrenik, Danny De Schreye. Inference of termination conditions for numerical loops in Prolog |
| 753 | -- | 755 | Peter A. Flach. Book review: Logic for Learning: Learning Comprehensible Theories from Structured Data by John W. Lloyd, Springer-Verlag, 2003, ISBN 3-540-42027-4 |
| 755 | -- | 757 | Roland H. C. Yap. Book review: Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, ISBN 1-55860-890-7 |
| 758 | -- | 762 | Francesca Rossi. Book review: Principles of Constraint Programming by Krzysztof R. Apt, Cambridge University Press, 2003, ISBN 0-521-82583-0 |