Participants

K. R. Apt, Paris; D. Björner, Lyngby; C. Böhm, Rom; W. Brauer, Hamburg; M. Broy, München; E. M. Clarke, Cambridge US; V. Claus, Dortmund; A. B. Cremers, Dortmund; O. J. Dahl, Oslo; W. Damm, Aachen; J. B. Dennis, Cambridge US; P. Deussen, Karlsruhe; J. Eickel, München; G. Goos, Karlsruhe; D. Harel, Rehovat; C. A. R. Hoare, Oxford; G. Hotz, Saarbrücken; K. Indermark, Aachen; N. D. Jones, Aarhus; P. Kandzia, Kiel; M. Karpinski, Edinburgh; U. Kastens, Karlsruhe; I. O. Kerner, Dresden; F. Kröger, München; H. Langmaack, Kiel; P. Lauerr, Newcastle-upon-Tyne; J. Loeckx, Saarbrücken; O. Mayer, Kaiserslautern; A. Meyer, Cambridge US; B. Möller, München; E. J. Neuhold, Stuttgart; M. Nivat, Paris; E.-R. Olderog, Kiel Oxford; M. Paul, München; G. Plotkin, Edinburgh; J. E. Stoy, Cambrige US; S. Takasu, Kyoto; B. Trakhtenbrot, Tel-Aviv; J. V. Tucker, Leeds; H. K. G. Walter, Darmstadt; M. Wirsing, München