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