Participants

Walter Felscher; Peter Aczel; Arnon Avron; Wolfgang Bibel; Woodrow W. Bledsoe; Egon Börger; Alan Bundy; Martin Davis; Amy Felty; Larry Hines; Bernd Hollunder; Christian Horn; Gerard Huet; Gerhard Jäger; Donald W. Loveland; Ewing Lusk; Janos A. Makowsky; Markus Marzetta; Daniel Mey; Dale Miller; J. Strother Moore; Hans Jürgen Ohlbach; Ross Overbeek; David Plaisted; Wolfram Pohlers; Michael M. Richter; Ulf R. Schmerl; Peter H. Schmitt; Wolfgang Schönfeld; Helmut Schwichtenberg; John C. Shepherdson; Robert F. Stärk; Stanley S. Wainer; Christoph Walther