| 1 | -- | 2 | . Preface |
| 3 | -- | 21 | Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot. Constructing Induction Rules for Deductive Synthesis Proofs |
| 23 | -- | 33 | Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, Ugo Moscato. ESBC: an application for computing stabilization bounds |
| 35 | -- | 53 | Jean-Pierre Jouannaud, Weiwen Xu. Automatic Complexity Analysis for Programs Extracted from Coq Proof |
| 55 | -- | 75 | Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano. A Constructive Object Oriented Modeling Language for Information Systems |
| 77 | -- | 92 | Andrej Bauer, Christopher A. Stone. Specifications via Realizability |