1 * means: has received copy. |
|
2 |
|
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* |
|
17 |
|
18 Essential colleagues: |
|
19 |
|
20 Prof. Harald Ganzinger* |
|
21 Max-Planck-Institut für Informatik |
|
22 Im Stadtwald |
|
23 66123 Saarbrücken |
|
24 |
|
25 Prof. Bob Boyer* |
|
26 Department of Computer Sciences |
|
27 University of Texas at Austin |
|
28 Austin, TX 78712-1188 U.S.A. |
|
29 |
|
30 Prof. J Moore* |
|
31 Department of Computer Sciences |
|
32 University of Texas at Austin |
|
33 Austin, TX 78712-1188 |
|
34 U.S.A. |
|
35 |
|
36 Prof. Frank Pfenning* |
|
37 Department of Computer Science |
|
38 Carnegie Mellon University |
|
39 Pittsburgh, PA 15213-3891 |
|
40 U.S.A. |
|
41 |
|
42 Dr. Shankar* |
|
43 SRI International |
|
44 333 Ravenswood Avenue, |
|
45 Menlo Park, CA, 94025-3493 |
|
46 U.S.A. |
|
47 |
|
48 Prof. Andrei Voronkov* |
|
49 Department of Computer Science |
|
50 The University of Manchester |
|
51 Oxford Road |
|
52 Manchester M13 9PL |
|
53 England |
|
54 |
|
55 Cambridge people: |
|
56 Tony Hoare |
|
57 Mike Gordon* |
|
58 Sidi Ehmety |
|
59 Frederic Blanqui* |
|
60 James Margetson |
|
61 Robin Milner* |
|
62 |
|
63 Sara Kalvala |
|
64 |
|
65 |
|
66 (for contributing comments) |
|
67 |
|
68 dr. Stefano Bistarelli* |
|
69 Istituto per le Applicazioni Telematiche |
|
70 C.N.R. Pisa |
|
71 Area della Ricerca, Via G. Moruzzi, 1 |
|
72 56124 Pisa |
|
73 Italien |
|
74 |
|
75 Gergely Buday* |
|
76 Karl-Ferlemann Str. 16. |
|
77 04177 Leipzig |
|
78 |
|
79 |
|
80 Tanja Vos* |
|
81 C/ Ing. Joaquin Benlloch 85-Esc A-25 |
|
82 46026 Valencia |
|
83 Spain |
|
84 |
|
85 Further colleagues: |
|
86 |
|
87 Manfred Broy* |
|
88 |
|
89 Ursula Martin* |
|
90 School of Computer Science |
|
91 University of St Andrews |
|
92 St Andrews KY16 6SS |
|
93 Scotland |
|
94 UK |
|