V10/cmd/sml/doc/users
AALBORG UNIVERSITY
Lars Fischer
Department of Mathematics and Computer Science
Aalborg University Centre
DENMARK
email: arpa!uunet.uu.net!mcvax!diku!iesd!fischer
ABSTRACT HARDWARE, LTD.
Michael Fourman
Abstract Hardware, Ltd.
Howell Building
Brunel University
Uxbridge UB8 3PM
Middlesex, UK
email: micheal@ahl.co.uk
AUSTRALIAN NATIONAL UNIVERSITY
Malcolm Newey
Dept. of Computer Science
The Australian National University
P.O.Box 4
Canberra, ACT 2601, AUSTRALIA
phone: 61-62-494506
email: mcn@anucsd.oz
BELLCORE
Stuart I. Feldman
Bellcore, Room 2E-386
435 South Street
Morristown, NJ 07960
email: sif@thunder.bellcore.com
phone: 201-829-4305
BOSTON COLLEGE
Michael McFarland
Computer Science Dept.
Boston College
Chestnut Hill, MA 02167
BOSTON UNIV
Prof A. J. Kfoury
Dept. of Computer Science
Boston University
Boston, MA 02215
[Mary Riendeau, mer@bu-cs.bu.edu]
BRANDEIS UNIV
Harry G. Mairson
Dept of Computer Science
Brandeis Univ
For 232A
Waltham, MA 02254
phone: (617) 647-2119
email: mairson%brandeis@relay.cs.net
BROOKLYN COLLEGE OF CUNY
Ken McAloon
Dept of Computer Science
Brooklyn College of CUNY
Brooklyn, NY 11210
phone: 718-253-8453
email: mcaloon@bklyncis.BITNET
BROWN UNIVERSITY
Ken Zadeck
Dept of Computer Science
Brown University
Box 1910
Providence, RI 02912
email: fkz@cs.brown.edu
phone: 401-863-7635
BRUNEL UNIVERSITY
Chris Reade
Computer Science Dept
Brunel University
Uxbridge
Middlesex UB8 3PH
England
phone: Uxbridge 74000 Ext 2122
email: chris@cs.brunel.ac.uk
BUCKNELL UNIVERSITY
Jerry Mead
Computer Science Dept
Bucknell University
Lewisburg, PA 17837
phone: 717-524-1392/4
email: mead@antares.bucknell.edu, mead@bknlvms.bitnet
CALIFORNIA INSTITUTE OF TECHNOLOGY
Mike Newton
Caltech 256-80
Pasadena CA 91125
phone: 818-356-6771 (or leave msg at 6846)
mail: newton@csvax.caltech.edu
FTP
CALIFORNIA POLYTECHNIC STATE UNIVERSITY
Professor James L. Beug
Department of Computer Science
Cal Poly
San Luis Obispo, CA 93407
phone: (805) 756-2071 (MTWThF 1-2 pm PDT)
email: jlbeug@polyslo.calpoly.edu
CAMBRIDGE UNIV
Dr. Larry Paulson
Cambridge University Computing Lab
Corn Exchange Street
Cambridge CB2 2QG
UK
email: lcp%computer-lab.cambridge.ac.uk@nsfnet-relay.ac.uk
CARLETON COLLEGE
Roger Kirchner
Dept of Mathematics and Computer Science
Carleton College
Northfield, MN 55057
phone: (507) 663-4368
email: rkirchne@carleton.edu
CARNEGIE-MELLON UNIV
Prof. Peter Lee (Benjamin Pierce)
Carnegie-Mellon Univ.
Dept. of Computer Science
5000 Forbes Avenue
Pittsburgh, PA 15232
email: peter.lee@theory.cs.cmu.edu
email: benjamin.pierce@proof.ergo.cs.cmu.edu
FTP
CASE WESTERN RESERVE UNIV
Prabhaker Mateti
Computer Engineering and Science
Case Western Reserve University
Cleveland, OH 44106
email: pm@mandrill.cwru.edu
CENTRE NATIONAL DE RECHERCHE SCIENTIFIQUE (CNRS)
Didier Giralt
LAAS-CNRS
7, av du Colonel Roche
31077 Toulouse Cedex
France
didier@ingrid.laas.fr
CHALMERS UNIV
Lennart Augustsson
Dept of Computer Science
Chalmers University of Technology and
University of Gothenburg
S-412 96 Gothenburg
SWEDEN
email: augustss@cs.chalmers.se
CHAPMAN COLLEGE
Gary Ramet
Department of Computer Science
Chapman College
333 N. Glassell
Orange, CA 92666
phone: (714) 997-6875
COLGATE UNIVERSITY
Philip Mulry
Dept of Computer Science
Colgate University
Hamilton, NY 13346
email: phil@colgate.csnet
phone: 315-824-1000 x 719
COLUMBIA UNIV
Gail Kaiser
Assistant Professor
Computer Science
Columbia University
450 Computer Science Building
New York, NY 10027
phone: (212) 280-3856
email: kaiser@cs.columbia.edu
CONSERVATOIRE NATIONAL DES ARTS ET METIERS (CNAM)
Daniel Lippman
Conservatoire National des Arts et Metiers
Laboratoire D'Informatique
239 Rue Saint-Marin
75141 Paris CEDEX
France
fax: 42719329
email: daniel@vmucnam.fr
[merged with Groupe Inter-Univeritaire pour la Programmation Logique et Fonctionalle,
University of Bologne]
CONTEL TECHNOLOGY CENTER
Robert F. Mathis
Software Engineering Laboratory
Contel Technology Center
12015 Lee Jackson Highway
Fairfax, Virginia 22033-3346
phone: 703-359-0203
CORNELL UNIV
Dean B. Krafft
Director of Computing Facilities
Computer Science Department
Upson Hall
Cornell University
Ithaca, NY 14853
(607) 255-9214
email: dean@gvax.cs.cornell.edu
FTP
DARPA
William Scherlis
DARPA/ISTO
1400 Wilson Boulevard
Arlington, Virginia 22209
phone: 202-694-5800
email: scherlis@vax.darpa.mil
DIGITAL EQUIPMENT CORP. (DEC) SYSTEMS RESEARCH CENTER
Luca Cardelli
DEC Systems Research Center
130 Lytton Avenue
Palo Alto, California 94301
email: luca@src.dec.com
phone: 415-853-2100
DUKE UNIVERSITY
Gopalan Nadathur
Computer Science Department
Duke University
Durham, NC 27706
email: gopalan@cs.duke.edu
FTP
ECOLE DES MINES
Prof. Gerard Berry
(Ecole Nationale Superieure des Mines de Paris)
Centre de Mathematiques Applicquees
Ecole des Mines
Sophia-Antipolis
06560 Valbonne FRANCE
email: berry@inria.inria.fr
FTP
ECOLE NATIONALE SUPERIEURE DE L'AERONAUTIQUE ET DE L'ESPACE
Prof. Bernard LECUSSAN
Ecole Nationale Superieure de l'Aeronautique et de l'Espace
10, Avenue Edouard Belin
31055 TOULOUSE CEDEX-FRANCE
e-mail: lecussan@tls-cs.cert.fr
ECOLE NORMALE SUPERIEURE
Prof. Guy Cousineau
Dept de Mathematique et d'Informatique
Ecole Normale Superieure
45 Rue d'Ulm
75230 Paris Cedex 05
FRANCE
email: cousinea@ens.ens.fr [sic]
EDINBURGH
Dr. Nick Rothwell
LFCS
Dept. of Computer Science
University of Edinburgh
The King's Buildings
Edinburgh EH9 3JZ
Scotland
email: nick%lfcs.ed.ac.uk@nsfnet-relay.ac.uk
ELECTROTECHNICAL LABORATORY
Ichiro Ogata
Computer Science Division
Electrotechnical Laboratory
Tsukuba Science City, 305 JAPAN
email: ogata%etl.jp@relay.cs.net
phone: +81 0298 54 5375
FRIEDRICH-ALEXANDER-UNIVERSITAET ERLANGEN-NEURNBERG
Terry Stroup
Informatik VII
Martensstrasse 3
8520 Erlangen
West Germany
email: terry@immd7.informatik.uni-erlangen.de
phone: 49-9131-85-7930
GEORGETOWN UNIVERSITY
John Cherniavsky
Dept of Computer Science
Georgetown University
Washington, DC 20057
email: jcc@mimsg.umd.edu
GEORGIA INST OF TECHNOLOGY
David Wood
Information and Computer Science
Georgia Institue of Technology
Atlanta, GA 30332-0280
email: david@pravda.gatech.edu
GESELLSCHAFT FU"R MATHEMATIK UND DATENVERARBEITUNG MGH (GMD)
Thomas F. Gordon
GMD / F3
Schloss Birlinghoven
Postfach 1240
D-5205 Sankt Augustin 1, FRG
email: thomas@gmdxps.uucp
phone: (+49 2241) 14-2665
GLASGOW UNIVERSITY
Guy Argo (R. J. M. Hughes)
Computing Science Department
Glasgow University
Glasgow G12 8QQ
Scotland
email: guy%cs.glasgow.ac.uk@nsfnet-relay.ac.uk
phone: 44-41-339-8855
HARTFORD GRADUATE CENTER
Afshin Goodarzi
Hartford Graduate Center
275 Windsor Street
Hartford, CT 06120
email: afshin@mstr.hgc.edu
HELSINKI UNIV OF TECHNOLOGY
Jussi Rintanen
Helsinki University of Technology
Laboratory of Information Processing Science
Otakaari 1
02150 ESPOO 15 FINLAND
phone: 358-0-4513247
telex: 125161 HTKK SF
email: jur@hutcs.hut.fi
[Markku Tamminen, 358-0-4512077 (messages: 4512679, home: 710317),
mit@hutcs.hut.fi]
HEWLETT-PACKARD LABORATORIES, BRISTOL
Dave Reynolds
Hewlett-Packard Laboratories, Bristol
Information Systems Centre
Filton Road
Stoke, Gifford
Bristol BS12 6QZ
phone: 011-44-0272-799910 x 24165
email: der@hplb.lb.hp.co.uk, der@hplb.hpl.hp.com
HIROSHIMA UNIVERSITY
Nakahara Hayao
Mathematics and Information Science Course
Faculty of Integrated Arts and Sciences
Hiroshima University
Hiroshima, JAPAN, 730
email: hayao%kurims.kurims.kyoto-u.ac.jp@RELAY.CS.NET
IBM T. J. WATSON RESEARCH CENTER (?)
Brent Hailpern
IBM TJ Watson Research Center
PO Box 704
Yorktown Heights, NY 10598
IMPERIAL COLLEGE OF SCIENCE AND TECHNOLOGY
John Darlington
Dept of Computing
Imperial College of Science and Technology
University of London
180 Queens Gate
London SW7 2BZ
INDIAN INSTITUTE OF SCIENCE
T. Viswanathan
Computer Center
Indian Institute of Science
Bangalore 560 012
INDIA
phone: 364411 X 275/272
INDIANA UNIV
Christopher Haynes
Indiana University
Lindley Hall
Bloomington, IN 47405
phone: (812) 335-6486
email: haynes@iuvax.cs.indiana.edu
FTP
INSTITUT FU"R INFORMATIK
Bernhard Mo"ller
Institut fu"r Informatik
TU Mu"nchen
D-8000 Mu"nchen 2
West Germany
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)
Gilles Kahn
INRIA, Centre de Sophia Antipolis
Avenue Emile Hugues
F-06565 Valbonne Cedex
France
email: kahn@inria.inria.fr
phone: 011-33-93-65-78-01
---
Gerard Huet
INRIA
Domaine de Voluceau
Rocquencourt
B.P. 105 - 78153 LE CHESNAY CEDEX
France
email: huet@inria.inria.fr
INSTITUTE SUPERIEUR DE GESTION DE TUNIS
Ahmed Ferchichi
Institut Supe'rieur de Gestion de Tunis
De'partement Informatique
45 Avenue de la Liberte'
2000 Bardo
Tunisia
IOWA STATE UNIV
Quentin Johnson
Software Analyst
Department of Computer Science
Iowa State University
Ames, IA 50011
phone: (515)294-7214
email: quent@iastate.edu
FTP
JOHANN WOLFGANG GOETHE-UNIVERSITAET
Prof. Joachim W. Schmidt
Fachbereich 20 (Informatik)
Johann Wolfgang Goethe-Universitaet
Robert-Mayer-Strasse 11-15
Postfach 11 19 32
D-6000 Frankfurt am Main 11
West Germany
email: schmidt@dbis.informatik.uni-frankfurt.dbp.de
phone: (FRG) 69 / 798 8201
JOHNS HOPKINS UNIVERSITY
Amy Zwarico
Computer Science Dept
New Engineering Building
The Johns Hopkins University
Baltimore, MD 21218
phone: 301-338-5304
email: amy@cs.jhu.edu
KANSAS STATE UNIV
Dave Schmidt
Computing and Info. Sciences Dept.
Nichols Hall
Kansas State Univ.
Manhattan, KS 66506
phone: 913-532-6350
email: schmidt@cis.ksu.edu
FTP
KATHOLIEKE UNIVERSITEIT LEUVEN
Karel De Vlaminck
Katholieke Universiteit Leuven
Department of Computer Science
Celestijnenlaan 200 A
B-3030 Leuven
Belgium
phone: +(32) 16-200656
email: kdv@kulcs.bitnet
KOREA ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY
D.W. Shin
Department of Computer Science
Korea Advanced Institute of Science and Technolog (KAIST)
P.O. Box 150 Cheongryang
Seoul 130-650 Korea
email: dwshin%casun.kaist.ac.kr@relay.cs.net
LINKO"PING UNIVERSITY
Ms. Nahid Shahmehri
Department of Computer & Information Science
Linko"ping University
S-581 83 Linko"ping
SWEDEN
email: NSH@IDA.LiU.SE
LOS ALAMOS NATIONAL LABORATORY
Joseph H. Fasel
Los Alamos National Laboratory
C-10, MS B296
Los Alamos, NM 87545
email: jhf@lanl.gov
phone: 505-667-7158
LOUGHBOROUGH UNIV OF TECHNOLOGY
Roger Knott
Dept of Computer Studies
University of Technology
Ashby Road
Loughborough
Leics LE11 3TU
phone: 0509-231839
email: rknott@cs-vaxa.lut.ac.uk
UK
LUND UNIVERSITY
Oskar Permvall
Lund University
Dept of Computer Science
Box 118
S-221 00 LUND
SWEDEN
phone: +46 46 10 96 35
email: oskar@dna.lu.se
MAHARISHI INTERNATIONAL UNIVERSITY
Dr. Gregory Guthrie
Maharishi International University
Fairfield, Iowa 52556
phone: 515-472-5031
MANCHESTER UNIVERSITY
David Carlisle
Computer Science Dept
Manchester University
Oxford Road
Manchester MI3 9PL
England
email: carlisle@ux.cs.man.ac.uk
MASSACHUSETTS INSTITUTE OF TECHNOLOGY
Prof Albert Meyer (Mark Reinhold)
Electrical Engineering and Computer Science
Massachusetts Institute of Technology
Cambridge MA 02139
phone: (617) 253-6024
email: meyer@theory.lcs.mit.edu
MENTOR GRAPHICS CORPORATION
Bob Kelley
Mentor Graphics Corporation
8500 SW Creekside Place
Beaverton, OR 97005-7191
email: bobk@mntgfx.MENTOR.COM
META SOFTWARE CORP
Jawahar Malhotra
Meta Software Corp
150 Cambridge Park Dr.
Cambridge, MA 02140
email: malhotra%metasoft@bbn.com
phone: 617-576-6920
MITRE
Dr. Dale M. Johnson
Member of Technical Staff
Trusted Computer Systems
The MITRE Corporation - B330
Burlington Road
Bedford, MA 01730
email: dmj@mitre-bedford.arpa
phone: 617-271-8096
---
Helen Gill
The MITRE Corporation
7525 Colshire Drive
M.S. Z645
McLean, Va 22102
email: gill@mitre.arpa
phone: (703) 883-7980
NEW MEXICO STATE UNIV
John B. Johnston
Dept of Computer Science
New Mexico State University
Box 3CU
Las Cruces, New Mexico 88003-0099
phone: (505) 646-3723
NEW YORK UNIVERSITY
Ed Schonberg (Fritz Henglein)
NYU
715 Broadway, 7th floor
New York, N.Y. 10003
email: schonber@acf2.nyu.edu, henglein@henglein.cs.nyu.edu
FTP
NORTHEASTERN UNIV
Mitchell Wand
College of Computer Science
Northeastern University
360 Huntington Avenue #161CN
Boston, MA 02115
phone: 617-437-3539
email: wand@corwin.ccs.northeastern.edu
FTP
OBERLIN COLLEGE
Bob Geitz
Computer Science Program
Oberlin College
Oberlin, OH 44074
phone: (216) 775-8083
email: bob@oberlin.edu
FTP
OKLAHOMA STATE UNIVERSITY
Norman Graham
Oklahoma State University
Computing and Information Sciences
219 Mathematical Sciences Building
Stillwater, OK 74078-0599
email: norman@a.cs.okstate.edu
OREGON GRADUATE CENTER
Richard B. Kieburtz
Dept of Computer Science and Engineering
Oregon Graduate Center
19600 N. W. von Neumann Drive
Beaverton, Oregon 97006-1999
email: dick@ogccse.ogc.edu
OXFORD UNIVERSITY
Bernard Sufrin
Oxford University Computing Laboratory
Programming Research Group
11 Keble Road
Oxford OX1 3QD
England
phone: 011-44-0865-273828
email: sufrin%prg.ox.ac.uk
PACE UNIVERSITY
Joseph Bergin
Computer Science Dept
Pace University
1 Pace Plaza
New York, NY 10038
email: berginf@pacevm.bitnet
phone: 914-255-4369
PENNSYLVANIA STATE UNIVERSITY
S. Purushothaman
Dept of Computer Science
Pennsylvania State University
University Park, PA 16802
email: purush@shire.cs.psu.edu
phone: 814-865-1630 (office), 865-9505 (Dept)
POLISH ACADEMY OF SCIENCES
Andrzej Blikle
Institute of Computer Science
Polish Academy of Sciences
P. O. Box 22
00-901 Warsaw, PKIN
Poland
POMONA COLLEGE
Rett Bull
Dept of Mathematics
Pomona College
Claremont, CA 91711
email: RETT%PCMATH.BITNET@CUNYVM.CUNY.EDU
PURDUE UNIVERSITY
Kevin R. Miller
Systems Engineer
Purdue University Physics
West Lafayette, IN 47907
phone: (317) 494 - 9729
email: krm@maxwell.physics.purdue.edu
FTP
QUEEN MARY COLLEGE, UNIVERSITY OF LONDON
Alan W. Ball
Computer Science Department
Queen Mary College
University of London
Mile End Road
London E1 4NS
ENGLAND
phone: 44-1-975-555 x 3097
email: awb@cs.qmc.ac.uk
QUEEN'S UNIVERSITY
Tom Bradshaw
Manager of Technical Services
Dept of Computing and Information Science
Queen's University
Kingston, Ontario, Canada, K7L 3N6
email: bradshaw@qucis.bitnet or ...!utcsri!qucis!bradshaw
QUINTUS COMPUTER SYSTEMS
Richard A. O'Keefe,
Quintus Computer Systems, Inc.,
1310 Villa Street,
Mountain View,
California 94041-1126.
RENSSELAER POLYTECHNIC INSTITUTE
Bruce McKenney
Voorhees Computing Center
Rensselaer Polytechnic Institute
Troy, NY 12180-3590
phone: (518)-276-8174
email: mckenney@itsgw.rpi.edu
RICE UNIVERSITY
Vicky Riffle
Network Manager
Rice University - HB230
Department of Computer Science
PO Box 1892
Houston, Texas 77251
713-527-6043
rif@rice.edu
ROSE-HULMAN INSTITUTE OF TECHNOLOGY
Fred J. Sullivan
phone: 812-877-8426
email: sullivan@rosevc.rose-hulman.edu
RUTGERS UNIV
Prof. Alex Borgida
Dept. of Computer Science
Rutgers University
414 Hill Center, Busch Campus
New Brunswick, NJ 08903
email: borgida@aramis.rutgers.edu
FTP
SAN JOSE STATE UNIVERSITY
Prof Kenneth Londen
Dept of Mathematics and Computer Science
San Jose State University
One Washington Square
San Jose, CA 95192-0103
phone: (408) 924-5134
SANTA CLARA UNIVERSITY
Ruth E. Davis
EECS Dept
Santa Clara University
Santa Clara, CA 95053
email: RDAVIS%SCU.BITNET@jade.berkeley.edu
SIEMENS (?)
Hans Leiss
Zentralbereich Forschung und Technik
ZTI INF 2.1
Siemens AG
Otto-Hahn-Ring 6
D-8000 Munich 83
W-Germany
email: leiss@ztivax.uucp
SIMON FRASER UNIVERSITY
Andrew Kurn
School of Computing Science
Simon Fraser University
Burnaby, B. C.
Canada V5A 1S6
email: andrew_kurn@cc.sfu.ca
ST CLOUD STATE UNIVERSITY
Larry Schafer (Randy Kolb)
Academic Computer Services
ECC Building, Room 101
St. Cloud State University
St. Cloud, Minnesota 56301
email: LARRY%MSUS1.BITNET@cunyvm.cuny.edu
STANFORD UNIV
Prof. John Mitchell
Dept of Computer Science
Stanford University
Stanford, CA 94305
email: jcm@ra.stanford.edu
FTP
SUN MICROSYSTEMS, INC. (?)
Jim Kempf
Sun Microsystems
2550 Garcia Ave.
Mountain View, CA
94043
email: kempf@sun.com
phone: 415-336-4601
SUNY AT BINGHAMTON
Fred Sullivan
Department of Mathematical Sciences
State University of New York at Binghamton
Binghamton, New York 13903
email: sullivan@marge.math.binghamton.edu
FTP
SUNY AT STONY BROOK
Prof. Prateek Mishra
Dept. of Computer Science
SUNY at Stony Brook
Stony Brook, NY 11794-4400
phone: (516) 632-8450
email: mishra@sbcs.sunysb.edu
FTP
SUNY OSWEGO
Doug Lea
Computer Science Dept
SUNY Oswego
Oswego, NY 13126
phone: 315-341-2367
email: dl@rocky.oswego.edu
SWISS FEDERAL INSTITUTE OF TECHNOLOGY OF LAUSANNE
Jean-Charles Gregoire
DI-LIT
EL-Ecublens
CH-1015 Lausanne
SWITZERLAND
email: gregoire%clsepf51.bitnet@cunyvm.cuny.edu, gregoire@elde.epfl.ch
SYRACUSE UNIV
Kevin J. Greene
CASE Center
120 Hinds Hall
Syracuse Univ
Syracuse, NY 13244-1190
phone: (315) 423-1053
TECHNICAL UNIVERSITY BERLIN
Juergen Buntrock
Technical University Berlin
Department of Computer Science
Sekr. FR 6-10
Franklinstr. 28/29
D-1000 Berlin 10
West Germany
email: jubu%tub-tfs.uucp@tub.bitnet
TECHNICAL UNIVERSITY OF DENMARK (DTH)
Hans Bruun
Department of Computer Science
The Technical University of Denmark
DTH Building 344
DK-2800 Lyngby
Denmark
phone: +45-42-881566
email: hb@iddth.dk
[J. Steensgaard-Madsen, jsm@iddth.dk]
TECHNISCHE HOCHSCHULE DARMSTADT
Dr. Gregor Snelting
Praktische Informatik
Technische Hochschule Darmstadt
Fachbereich 20
6100 Darmstadt, Magdalenenstr. 11 c
phone: (06151) 16-5110
TEKTRONIX LABORATORIES
Uwe Pleban, M/S 50-662
Tektronix Laboratories
Tektronix, Inc.
P.O. Box 500
Beaverton, OR 97077
email: uwe%tekchips.tek.com@relay.cs.net
phone: (503) 627-6286
TEL AVIV UNIVERSITY
Dr. Y. Yeshurun
Dept of Computer Science
Tel Aviv University
Tel Aviv 69978
ISRAEL
email: hezy%TAURUS.BITNET@CUNYVM.CUNY.EDU
THE HEBREW UNIVERSITY OF JERUSALEM
C. Beeri
Dept. of Computer Science
The Hebrew University of Jerusalem
Givat-Ram, Jerusalem 91904
ISRAEL
email: beeri@humus.huji.ac.il
TOHOKU UNIVERSITY
Professor Takayasu Ito
Dept. of Information Engineering
School of Engineering
Tohoku University
Sendai, Japan 980
email: ito@ito.ito.ecei.tohoku.junet
TOKYO INSTITUTE OF TECHNOLOGY
HAYAMA Takeshi
c/o Associate Prof. YONEZAKI Naoki
Department of Computer Science
Faculty of Engineering
Tokyo Institute of Technology
2-12-1 Ookayama, Meguro-ku Tokyo 152
JAPAN
phone: +81 3 726 1111 ext.4033
email: hayama%cs.titech.junet@relay.cs.net
TRINITY COLLEGE, UNIVERSITY OF DUBLIN
Cormac Callanan
Dept of Computer Science
Trinity College
University of Dublin
Dublin 2
IRELAND
phone: 353.1.772941
UNISYS PAOLI RESEARCH CENTER
Tim Finin
Paoli Research Center
Unisys Corporation
PO Box 517, Paoli PA 19301
email: finin@prc.unisys.com
phone: 215-648-7446, 215-386-1749 (h)
UNIV OF AKRON
Albert Shpuntoff
Mathematical Sciences Dept
University of Akron
Akron, OH 44325
phone: (216) 375-7400 (department)
email: R1AFS%AKRONVM.BITNET@CUNYVM.CUNY.EDU
UNIV OF BATH
Julian Padget
School of Mathematical Sciences
Univ of Bath
Bath
Avon BA2 7AY
UK
phone: 44-225-826971
email: padget@maths.batch.ac.uk
UNIV OF BOLOGNE
Rodrigo Laurens
Groupe Inter-Universitaire pour la Programmation Logique et Fonctionalle
239 Bd. Jean Jaures
92100 Bologne
FRANCE
UNIV OF CALGARY
Graham M. Birtwistle
Dept of Computer Science
University of Calgary
Calgary, Alberta
Canada T2N 1N4
phone: (403) 289-2043 / 220 6055
email: graham@cpsc.UCalgary.CA
UNIV OF CALIFORNIA AT DAVIS
Phil Windley
Div. of Computer Science
University of California, Davis
Davis, California 95616
phone: (916) 756-3168
email: windley@iris.ucdavis.edu [ftp]
UNIV OF CALIFORNIA AT LOS ANGELES (UCLA)
Brenda Ramsey
3731 Boelter Hall
Computer Science Department
University of California at Los Angeles
Los Angeles CA 90024-1596
email: ramsey@cs.ucla.edu
UNIV OF CALIFORNIA, BERKELEY
William Maddox
CS Division, EECS
571 Evans Hall
University of California
Berkeley, CA 94720
phone: 415-642-9542
email: maddox@renoir.berkeley.edu
UNIV OF CHICAGO
Michael O'Donnell
Univ. of Chicago
Dept. of Computer Science
Ryerson Hall
1100 E. 58th Street
Chicago, IL 60637
phone: (312) 702-6011
email: odonnell@anubis.uchicago.edu
FTP
UNIV OF DELAWARE
B. David Saunders
Computer and Information Sciences Dept.
University of Delaware
Newark, DE 19716
email: saunders@udel.edu
UNIV OF DURHAM
Martin Ward
Computer Science Dept
Science Labs
South Rd
Durham
DH1 3LE
England
email: martin%easby.dur.ac.uk@nss.cs.ucl.ac.uk
UNIV OF ILLINOIS
Sam Kamin
Computer Science Dept
University of Illinois
1304 W. Springfield Av
Urbana, IL 61801
phone: (217) 333-8069
email: kamin@a.cs.uiuc.edu
FTP
UNIV OF MARYLAND
Gregory F. Johnson
Computer Science Department
University of Maryland
College Park, MD 20742
email: (301) 454-1463
phone: johnson@mimsy.umd.edu
FTP
UNIV OF MASSACHUSETTS AT BOSTON
Bill White
Department of Math. and Comp. Sci.
University of Massachusetts at Boston
Harbor Campus
Boston, MA 02125-3393
phone: 617-929-7998
email: bwhite@umb.edu
UNIV OF NEVADA AT LAS VEGAS
Jay Nietling
Department of CS & EE
UNLV
4505 S. Maryland Parkway
Las Vegas, NV 89154
phone: 702-739-3681
email: jay@unlv.edu
UNIV OF NEW HAMPSHIRE
Prof. Philip J. Hatcher
University of New Hampshire
Dept. of Computer Science
College of Engineering and Physical Sciences
Kingsbury Hall
Durham, New Hampshire
phone: 603-862-2678
email: pjh@unh.edu
UNIV OF NEW MEXICO
George Luger
Dept of Computer Science
Univ of New Mexico
Albuquerque, NM 87131
phone: 505-277-3204
email: luger@unmvax.edu
UNIV OF NORTH CAROLINA - CHAPEL HILL
Bruce T. Smith
University of North Carolina - Chapel Hill
Dept of Computer Science
Sitterson Hall
Chapel Hill, NC 27514
email: bts%cs.unc.edu@relay.cs.net
FTP
UNIV OF PENNSYLVANIA
Prof. Peter Buneman
Dept. of Computer and Information Science
University of Pennsylvania
200 South 33rd Street
Philadelphia, PA 19104-6389
phone: (215) 898-7703
email: peter@linc.cis.upenn.edu
FTP
UNIV OF PISA
Vincenzo Ambriola
Universita' Di Pisa
Dipartmento Di Informatica
Corso Italia 40
56100 Pisa, Italy
phone: 050-510266
email: ambriola@di.unipi.it
UNIV OF SOUTHERN CALIFORNIA
Dean Jacobs
Computer Science Department
University of Southern California
Los Angeles, California 90089-0782
phone: (213) 743-7881
email: jacobs@pollux.usc.edu
UNIV OF TOKYO
Hiroyuki Sato
Department of Information Science, Faculty of Science
University of Tokyo
Hongo 7-3-1, Bunkyo-ku
Tokyo, 113 Japan
phone: (JAPAN) 03-812-2111 x 4090
email: a86402@tansei.cc.u-tokyo.ac.jp, schuko@is.s.u-tokyo.ac.jp
UNIV OF UTAH
Gary Lindstrom
Dept of Computer Science
Univ of Utah
4150 Merrill Engineering Bldg
Salt Lake City, Utah 84112
phone: (801) 581-5586
email: Lindstrom@cs.utah.edu
FTP
UNIV OF WARWICK
Jeff Smith
Computer Science Dept
Univ of Warwick
Coventry CV4 7AL
ENGLAND
phone: 44-203-523485
email: jeff@cs.warwick.ac.uk
UNIV OF WASHINGTON
Erik Lundberg
Computer Science Lab, FR-35
University of Washington
Seattle, WA 98195
phone: 206-543-2795
email: lundberg@cs.washington.edu [FTP]
UNIV OF WISCONSIN -- MILWAUKEE
Dr. Deborah Knox
Assistant Professor
Dept. of Elec. Engr. and Computer Science
University of Wisconsin-Milwaukee
P.O. Box 784
Milwaukee, WI 53201
email: (414) 229-4265
phone: knox@uwm-cs.milw.wisc.edu
UNIVERSIDAD NACIONAL AUTONOMA DE MEXICO
Gloria Quintanilla
Instituto de Investigaciones en Matematicas Aplicadas y en Sistemas
Universidad Nacional Autonoma de Mexico
APDO. POSTAL 20-726 ADMON. No. 20
Delegacion de Alvaro Obregon
01000 MEXICO, D.F.
UNIVERSIDAD POLIT\'ECNICA DE MADRID
Prof. Carlos Delgado Kloos
Depto. Ingenir\'ia de Sistemas Telem\'aticos
Universidad Polit\'ecnica de Madrid
ETSI Telecomunicaci\'on
Ciudad Universitaria
E-28040 Madrid
Spain
email: cdelgado@dit.upm.es
phone: 34-1-5495762 x 313
UNIVERSITAET DES SAARLANDES
Beinhold Heckmann
Universitaet des Saarlandes
FB 10 - Informatik
Im Stadtwald 15
D - 6620 Saarbruecken
West Germany
email: heckmann@sbsvax.informatik.uni-saarland.dbp.de
[Prof. Dr. R. Wilhelm, 0681 / 302-3434, wilhelm%sbsvax.uucp@germany.csnet]
UNIVERSITY OF AALBORG
Flemming Nielson
Institut for Elektroniscke Systemer
Aalborg Universitetscenter
Strandvijen 19
DK-9000 Aalborg
Denmark
UNIVERSITY OF BARI
V. Michele Abrusci
Laboratorio de Epistemologia Informatica
Facolta' di Lettere e Filosofia
Universita' di Bari
Pallazzo Ateneo
70121 BARI
Italy
phone: 39-80-314-165
UNIVERSITY OF CALIFORNIA, SAN DIEGO
Jim Mattson
Computer Science and Engineering Department, C-014
University of California, San Diego
La Jolla, CA 92093
phone: 619-534-5913
email: mattson%cs@ucsd.edu
[Satish Thatte, thatte%cs@ucsd.edu]
[Cindy Paloma, Computer Support Group, (619) 534-4595, paloma%cs@ucsd.edu]
FTP
UNIVERSITY OF CINCINNATI
John Schlipf
Department of Computer Science
University of Cincinnati
Cincinnati, OH 45221-0008
email: PCMSJSS%UCCCVM1.BITNET@CUNYVM.CUNY.EDU
UNIVERSITY OF CONNECTICUT
Prof. George Beshers
260 Glenbrook Rd, U-155
Univ. of Connecticut
Storrs, CT 06269-3155
phone: 203-486-5963
email: beshers@uconn.edu
FTP
UNIVERSITY OF COPENHAGEN
Olivier Danvy
DIKU - Computer Science Department
University of Copenhagen
DK-2100 COPENHAGEN O/
Denmark
email: danvy@diku.dk
UNIVERSITY OF DORTMUND
Harald Ganzinger
FB Informatik
University of Dortmund
D-4600 Dortmund 50
West Germany
email: hg@unido.uucp
UNIVERSITY OF EAST ANGLIA
Ronan Sleep
School of Computing Studies
University of East Anglia
University Plain
Norwich NOR 88C
England
email: arpa!uunet.uu.net!uucp!mcvax!sys.uea.ac.uk!mrs
UNIVERSITY OF FLORIDA
Prof. Paul A. Fishwick
Dept. of Computer Science
Univ. of Florida
Bldg. CSE, Room 301
Gainesville, FL 32611
phone: 904-335-8036
email: fishwick@bikini.cis.ufl.edu
UNIVERSITY OF GRONINGEN
Paul Chisholm
Dept of Mathematics and Computing Science
University of Groningen
POB 800
9700 AV Groningen
The Netherlands
email: arpa!uunet.uu.net!mcvax!guvaxin!paul
UNIVERSITY OF ILLINOIS AT CHICAGO
Dr. William Howard (Clarence Williams)
Mathematics, Statistics, and Computer Science Dept.
University of Illinois at Chicago
851 S. Morgan
Room 322 SEO
Chicago, IL 60680
phone: 312-996-3041
email: williamc@uicbert.eecs.uic.edu
UNIVERSITY OF IOWA
Monagur N. Muralidharan
Department of Computer Science
The University of Iowa
Iowa City
IA 52242
phone: 319-335-0736
email: murali@herky.cs.uiowa.edu
UNIVERSITY OF KENT
Simon Thompson
Computer Science Dept
University of Kent
Canterbury CT2 7NF
England
phone: 44-227-764000
email: sjt@ukc.ac.uk
UNIVERSITY OF KENTUCKY
Lawrence A. Harris
Dept of Mathematics
University of Kentucky
939 Patterson Office Tower
Lexington, Kentucky 40506-0027
phone: 606-257-1549
UNIVERSITY OF LOWELL
Arun Arya, Ray Gumb
Dept of Computer Science
University of Lowell
Lowell, MA 01854
phone: 508-452-5000x2668
email: arya@gull.ulowell.edu, gumb@ulowell.edu
UNIVERSITY OF MANCHESTER INSTITUTE OF SCIENCE AND TECHNOLOGY
Stephen Eldridge
Computation Department
UMIST
PO Box 88
Manchester M60 1QD
ENGLAND
telex: 666094
email: see%sun.central-services.umist.ac.uk@nss.cs.ucl.ac.uk
UNIVERSITY OF MICHIGAN
Todd Knoblock
Electrical Engineering and Computer Science Department
The University of Michigan
1301 Beal Avenue
Ann Arbor, MI 48109
phone: 313-662-9687 / 936-2971
email: todd@dip.eecs.umich.edu
FTP
UNIVERSITY OF NICE
Stephane Dalmas
Universite de Nice, LISAN
CNRS Bat.3
rue Albert Einstein
Sophia Antipolis
06560 Valbonne
FRANCE
email: dalmas@mirsa.inria.fr
UNIVERSITY OF PARIS-SUD
Marie Claude Gaudel
LRI, Bat. 490
Universite' de Paris-Sud
91405 Orsay cedex
FRANCE
UNIVERSITY OF PASSAU
Robert Stabl
Fakulta"t fu"r Mathematik und Informatik
Universita"t Passau
Postfach 2540
D-8390 Passau
West Germany
email: uunet.uu.net!uucp!unido!unipas!stabl
[Martin Wirsing, arpa!uunet.uu.net!uucp!unido!unipas!wirsing]
UNIVERSITY OF PITTSBURGH
Prof. Mary Lou Soffa
Computer Science Department
University of Pittsburgh
Pittsburgh, Pa. 15260
phone: (412) 624-8425
email: soffa@vax.cs.pittsburgh.edu
UNIVERSITY OF ROME
Alberto Pettorossi
IASI-CNR
Viale Manzoni 30
00185 ROMA
Italy
email: adp@iasi.cnr.osiride%cernvax
UNIVERSITY OF SIEGEN
D. Spreen
Lehrgebiet Theoretische Informatik
Universita"t Siegen
Postfach 101240
5900 Siegen
West Germany
UNIVERSITY OF SOUTHAMPTON
David De Roure
Computer Science
The University of Southampton
Southampton SO9 5NH, UK
email: dder%cm.soton.ac.uk@nsfnet-relay.ac.uk
phone: +44 703 559122 ext 2418
UNIVERSITY OF ST ANDREWS
Roy Dyckhoff
Computer Science Dept
Unviersity of St Andrews
St Andrews, Fife
Scotland
email: rd@cs.st-and.ac.uk
UNIVERSITY OF SUSSEX
Gavin Wraith
Department of Mathematics
University of Sussex
Falmer
E.Sussex BN1 9QH
U.K.
phone: Brighton 606755 ext 3033
email: gavinw@cvaxa.sussex.ac.uk
UNIVERSITY OF TEXAS AT AUSTIN
Andrew Winston
Dept of Computer Science
University of Texas at Austin
Austin, TX 78712-1175
UNIVERSITY OF TRONDHEIM
Reidar Conradi
The University of Trondheim
The Norwegian Institute of Technology
Division of Computer Systems and Telematics
O. S. Bragstads plass 2 E
N 7034 Trondheim
Norway
phone: 47 7 593444
UNIVERSITY OF TULSA
Sujeet Shenoi
Mathematical and Computer Sciences
University of Tulsa
600 South College Avenue
Tulsa, OK 74104
email: sujeet@tusun2.knet.utulsa.edu
UNIVERSITY OF TURIN
Mariangela Dezani
Dipartimento di Informatica
C. SUIZZERA 185
10149 - TORINO
Italy
email: dezani@ITOINFO.BITNET
UNIVERSITY OF UMEA
Erik Tarnvik
Dept of Computing Science
University of Umea
S-90187 Umea
SWEDEN
phone: 46-90166583
email: erikt@cs.umu.se
[Lennart Edblom, edblom@cs.umu.se]
UNIVERSITY OF WISCONSIN - MADISON
Charles N. Fischer
Computer Sciences
University of Wisconsin - Madison
1210 W. Dayton St.
Madison, Wisc 53706
email: fischer@kaese.cs.wisc.edu
UNIVERSITY OF YORK
Martin C. Atkins
Dept. of Computer Science
University of York
Heslington
York Y01 5DD
ENGLAND
phone: 44-904-432789
email: martin@minster.york.ac.uk
UNIVERSITY POLITECNICA DE CATALUN~A
Fernando Orejas
Facultad de Informatica
Univ. Politecnica de Catalun~a
Pau Gargallo 5
08028 Barcelona
Spain
email: orejas@fib.upc.iris.cernvax
UNIVERSIT\'E LOUIS PASTEUR
Dominique Viaud
D\'epartement d'Informatique
Universit\'e Louis Pasteur
7, rue Ren\'e Descartes
67084 STRASBOURG Cedex
France
phone: 88 41 63 00
VICTORIA UNIVERSITY OF WELLINGTON
Brian Boutel
Dept of Computer Science
Victoria University of Wellington
Private Bag
Wellington
New Zealand
email: brian@COMP.VUW.AC.NZ
VILLANOVA UNIVERSITY
Leon C. Robbins, Jr.
Dept of Mathematical Sciences
Villanova University
Villanova, PA 19085-1699
email: robbins@villanova.edu
phone: 215-645-4850
WASHINGTON STATE UNIVERSITY
David Lingle
Computer Science Department
Washington State University
Pullman, Washington 99164-1210
email: lingle@cs1.wsu.edu
WEIZMAN INSTITUTE OF SCIENCE
Ehud Shapiro
The Weizmann Institute of Science
Rehovot 76100
Israel
email: udi@wisdom.BITNET
WILLIAMS COLLEGE
Tom Murtagh (Kim B. Bruce)
Department of Computer Science
Bronfman Science Center
Williams College
Williamstown, MA 01267
phone: (413) 597-2273
email: tom@cs.williams.edu, Kim@cs.williams.edu
YALE UNIVERSITY
Young-il Choo
Yale University
Dept of Computer Science
P.O. Box 2158 Yale Station
New Haven, CT 06520
phone: (203) 432-4099
email: choo-young-il@yale.edu
FTP
XEROX PALO ALTO RESEARCH CENTER
Pavel Curtis
Xerox Palo Alto Research Center
3333 Coyote Hill Road
Palo Alto, California 94304
email: pavel.pa@xerox.com