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