E. Astesiano, (University Genova, I) K.R. Apt, (CWI, NL), J. Bergstra, (University Amsterdam, NL), V. Berzins, (Naval Post. School, USA), D. Bjorner, (University Denmark, DK), R. Bloomfield, (Adelard, UK), J. Bowen, (University Reading, UK), B. Boyer, (University Texas, USA), M. Broy, (TUniversity Munich, D), A. Bundy, (University Edinburgh, UK), E. Clarke, (CMU, USA), W. Damm, (University Oldenburg, D), J.W. de Bakker, (CWI, NL), W.P. de Roever, (University Kiel. D), H.D. Ehrich, (University Braunschweig, D), E.A. Emerson, (University Texas, USA), H. Ganzinger, (MPII, D), M.C. Gaudel, (LRI-CNRS, F), J. Goguen, (University California, USA), D. Gries, (Cornell U, USA),

Y. Gurevich, (University Michigan, USA), D. Harel, (Weizmann Inst., Is), T. Henzinger, (Berkeley U, USA), M. Hinchey, (NJ Inst. of Technology, USA), C.A.R. Hoare, (Oxford University UK), D. Howe, (Bell Labs, USA), N. Jones, (University Copenhagen, DK), D. Kapur, (NY State U, USA), H. Kirchner, (INRIA, F), H. Langmaack, (University Kiel, D), T. Maibaum, (Imperial College, UK), U. Martin, (University St. Andrews, UK), U. Montanari, (University Pisa, I), J S. Moore, (University Texas, USA), T. Nipkow, (TUniversity Munich, D), D. Parnas, (McMaster University, CAN), L. Paulson, (Cambridge U, UK), A. Ravn, (TU Denmark, DK), A. W. Roscoe, (Oxford U, UK), J. Sifakis, (CNRS, F)