| 67 | -- | 74 | Nicholas M. Donofrio. Turing Memorial Lecture |
| 75 | -- | 91 | Evaggelia Pitoura, Ioannis Fudos. Distributed Location Databases for Tracking Highly Mobile Objects |
| 92 | -- | 100 | Roberto Baldoni, Francesco Quaglia, Michel Raynal. Consistent Checkpointing for Transaction Systems |
| 101 | -- | 108 | Francis C. M. Lau, Philip K. W. Cheng, Savio S. H. Tse. An Algorithm for the 2-Median Problem on Two-Dimensional Meshes |
| 109 | -- | 123 | Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi. Finite Approximations for Model Checking Non-finite-state Processes |
| 124 | -- | 136 | Daniel Y. Chao, Jose A. Nicdao. Liveness for Synchronized Choice Petri Nets |
| 137 | -- | 149 | Jason Crampton, George Loizou, Greg O Shea. A Logic of Access Control |