|
nipkow@12947
|
1 |
David Aspinall
|
|
nipkow@12947
|
2 |
Stefan Berghofer
|
|
nipkow@12947
|
3 |
David von Oheimb
|
|
wenzelm@13054
|
4 |
Farhad Mehta
|
|
wenzelm@13054
|
5 |
Stephan Merz
|
|
nipkow@12947
|
6 |
Leonor Prensa Nieto
|
|
nipkow@12947
|
7 |
Cornelia Pusch
|
|
wenzelm@13054
|
8 |
Bernhard Rumpe (wants a signed copy!)
|
|
nipkow@12947
|
9 |
Norbert Schirmer
|
|
nipkow@12947
|
10 |
Martin Strecker
|
|
nipkow@12948
|
11 |
|
|
nipkow@12950
|
12 |
Essential colleagues:
|
|
nipkow@12950
|
13 |
|
|
nipkow@12948
|
14 |
Harald Ganzinger
|
|
paulson@12994
|
15 |
|
|
nipkow@12948
|
16 |
Bob Boyer
|
|
paulson@12994
|
17 |
Department of Computer Sciences
|
|
paulson@12994
|
18 |
University of Texas at Austin
|
|
paulson@12994
|
19 |
Austin, TX 78712-1188 U.S.A.
|
|
paulson@12994
|
20 |
|
|
nipkow@12948
|
21 |
J Moore
|
|
paulson@12994
|
22 |
Department of Computer Sciences
|
|
paulson@12994
|
23 |
Taylor Hall 2.124
|
|
paulson@12994
|
24 |
University of Texas at Austin
|
|
paulson@12994
|
25 |
Austin, TX 78712-1188 U.S.A.
|
|
paulson@12994
|
26 |
|
|
paulson@12994
|
27 |
Frank Pfenning
|
|
paulson@12994
|
28 |
Department of Computer Science
|
|
paulson@12994
|
29 |
Wean Hall 8117
|
|
paulson@12994
|
30 |
Carnegie Mellon University
|
|
paulson@12994
|
31 |
Pittsburgh, PA 15213-3891, U.S.A.
|
|
paulson@12994
|
32 |
|
|
nipkow@12948
|
33 |
Shankar
|
|
paulson@12994
|
34 |
SRI International
|
|
paulson@12994
|
35 |
MS EL256,
|
|
paulson@12994
|
36 |
333 Ravenswood Avenue,
|
|
paulson@12994
|
37 |
Menlo Park, CA, 94025-3493
|
|
paulson@12994
|
38 |
|
|
paulson@12994
|
39 |
|
|
paulson@12994
|
40 |
Tony Hoare? (interested in Isabelle)
|
|
paulson@12994
|
41 |
MSR Cambridge
|
|
paulson@12994
|
42 |
|
|
nipkow@13055
|
43 |
Voronkov
|
|
nipkow@13055
|
44 |
|
|
paulson@12994
|
45 |
(for contributing comments)
|
|
paulson@12994
|
46 |
|
|
paulson@12994
|
47 |
dr. Stefano Bistarelli
|
|
paulson@12994
|
48 |
Istituto per le Applicazioni Telematiche
|
|
paulson@12994
|
49 |
C.N.R. Pisa
|
|
paulson@12994
|
50 |
Area della Ricerca, Via G. Moruzzi, 1
|
|
paulson@12994
|
51 |
I-56124 Pisa, Italy
|
|
paulson@12994
|
52 |
Stefano.Bistarelli@iat.cnr.it
|
|
paulson@12994
|
53 |
|
|
paulson@12994
|
54 |
Gergely BUDAY
|
|
paulson@12994
|
55 |
H-3200 Gy\"ongy\"os
|
|
paulson@12994
|
56 |
Kont biro u. 23.
|
|
paulson@12994
|
57 |
HUNGARY
|
|
paulson@12994
|
58 |
gergoe@math.bme.hu
|
|
paulson@12994
|
59 |
|
|
paulson@12994
|
60 |
Tanja Vos
|
|
paulson@12994
|
61 |
c/ Ing. Joaquin Benlloch 85-Esc A-25
|
|
paulson@12994
|
62 |
46026 Valencia
|
|
paulson@12994
|
63 |
Spain
|
|
nipkow@12950
|
64 |
|
|
nipkow@12950
|
65 |
Further colleagues:
|
|
nipkow@12950
|
66 |
|
|
nipkow@12950
|
67 |
Ursula Martin
|