author | nipkow |
Tue, 07 May 2002 14:28:34 +0200 | |
changeset 13109 | 39bcf279f518 |
parent 13086 | 3bd1df57ee00 |
child 13127 | 1865e8004fd8 |
permissions | -rw-r--r-- |
1 * means: has received copy.
3 David Aspinall*
4 Clemens Ballarin*
5 Gertrud Bauer*
6 Stefan Berghofer*
7 Gerwin Klein*
8 David von Oheimb*
9 Farhad Mehta*
10 Stephan Merz
11 Leonor Prensa Nieto*
12 Cornelia Pusch
13 Bernhard Rumpe (wants a signed copy!)*
14 Norbert Schirmer*
15 Martin Strecker*
16 Ralf Steinbrueggen*
18 Essential colleagues:
20 Prof. Harald Ganzinger*
21 Max-Planck-Institut für Informatik
22 Im Stadtwald
23 66123 Saarbrücken
25 Prof. Bob Boyer*
26 Department of Computer Sciences
27 University of Texas at Austin
28 Austin, TX 78712-1188 U.S.A.
30 Prof. J Moore*
31 Department of Computer Sciences
32 University of Texas at Austin
33 Austin, TX 78712-1188
34 U.S.A.
36 Prof. Frank Pfenning*
37 Department of Computer Science
38 Carnegie Mellon University
39 Pittsburgh, PA 15213-3891
40 U.S.A.
42 Dr. Shankar*
43 SRI International
44 333 Ravenswood Avenue,
45 Menlo Park, CA, 94025-3493
46 U.S.A.
48 Prof. Andrei Voronkov*
49 Department of Computer Science
50 The University of Manchester
51 Oxford Road
52 Manchester M13 9PL
53 England
55 Cambridge people:
56 Tony Hoare
57 Mike Gordon
58 Sidi Ehmety
59 Frederic Blanqui
60 James Margetson
61 Robin Milner
64 (for contributing comments)
66 dr. Stefano Bistarelli*
67 Istituto per le Applicazioni Telematiche
68 C.N.R. Pisa
69 Area della Ricerca, Via G. Moruzzi, 1
70 56124 Pisa
71 Italien
73 Gergely Buday*
74 Karl-Ferlemann Str. 16.
75 04177 Leipzig
78 Tanja Vos*
79 C/ Ing. Joaquin Benlloch 85-Esc A-25
80 46026 Valencia
81 Spain
83 Further colleagues:
85 Manfred Broy*
87 Ursula Martin*
88 School of Computer Science
89 University of St Andrews
90 St Andrews KY16 6SS
91 Scotland
92 UK