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