David Aspinall
Stefan Berghofer
David von Oheimb
Leonor Prensa Nieto
Cornelia Pusch
Norbert Schirmer
Martin Strecker
Stephan Merz
Essential colleagues:
Harald Ganzinger
Bob Boyer
Department of Computer Sciences
University of Texas at Austin
Austin, TX 78712-1188 U.S.A.
J Moore
Department of Computer Sciences
Taylor Hall 2.124
University of Texas at Austin
Austin, TX 78712-1188 U.S.A.
Frank Pfenning
Department of Computer Science
Wean Hall 8117
Carnegie Mellon University
Pittsburgh, PA 15213-3891, U.S.A.
Shankar
SRI International
MS EL256,
333 Ravenswood Avenue,
Menlo Park, CA, 94025-3493
Tony Hoare? (interested in Isabelle)
MSR Cambridge
(for contributing comments)
dr. Stefano Bistarelli
Istituto per le Applicazioni Telematiche
C.N.R. Pisa
Area della Ricerca, Via G. Moruzzi, 1
I-56124 Pisa, Italy
Stefano.Bistarelli@iat.cnr.it
Gergely BUDAY
H-3200 Gy\"ongy\"os
Kont biro u. 23.
HUNGARY
gergoe@math.bme.hu
Tanja Vos
c/ Ing. Joaquin Benlloch 85-Esc A-25
46026 Valencia
Spain
Further colleagues:
Ursula Martin