| 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-- |
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*
63 Sara Kalvala
66 (for contributing comments)
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
75 Gergely Buday*
76 Karl-Ferlemann Str. 16.
77 04177 Leipzig
80 Tanja Vos*
81 C/ Ing. Joaquin Benlloch 85-Esc A-25
82 46026 Valencia
83 Spain
85 Further colleagues:
87 Manfred Broy*
89 Ursula Martin*
90 School of Computer Science
91 University of St Andrews
92 St Andrews KY16 6SS
93 Scotland
94 UK