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