Return to users CVS log

Up to [Research Unix] / researchv10no / cmd / sml / doc

Annotation of researchv10no/cmd/sml/doc/users, revision 1.1

1.1     ! root        1: AALBORG UNIVERSITY
        !             2: Lars Fischer
        !             3: Department of Mathematics and Computer Science
        !             4: Aalborg University Centre
        !             5: DENMARK
        !             6: email: arpa!uunet.uu.net!mcvax!diku!iesd!fischer
        !             7: 
        !             8: ABSTRACT HARDWARE, LTD.
        !             9: Michael Fourman
        !            10: Abstract Hardware, Ltd.
        !            11: Howell Building
        !            12: Brunel University
        !            13: Uxbridge UB8 3PM
        !            14: Middlesex, UK
        !            15: email: [email protected]
        !            16: 
        !            17: AUSTRALIAN NATIONAL UNIVERSITY
        !            18: Malcolm Newey
        !            19: Dept. of Computer Science
        !            20: The Australian National University
        !            21: P.O.Box 4
        !            22: Canberra, ACT 2601, AUSTRALIA
        !            23: phone: 61-62-494506
        !            24: email: [email protected]
        !            25: 
        !            26: BELLCORE
        !            27: Stuart I. Feldman
        !            28: Bellcore, Room 2E-386
        !            29: 435 South Street
        !            30: Morristown, NJ 07960
        !            31: email: [email protected]
        !            32: phone: 201-829-4305
        !            33: 
        !            34: BOSTON COLLEGE
        !            35: Michael McFarland
        !            36: Computer Science Dept.
        !            37: Boston College
        !            38: Chestnut Hill, MA  02167
        !            39: 
        !            40: BOSTON UNIV
        !            41: Prof A. J. Kfoury
        !            42: Dept. of Computer Science
        !            43: Boston University
        !            44: Boston, MA 02215
        !            45: [Mary Riendeau, [email protected]]
        !            46: 
        !            47: BRANDEIS UNIV
        !            48: Harry G. Mairson
        !            49: Dept of Computer Science
        !            50: Brandeis Univ
        !            51: For 232A
        !            52: Waltham, MA 02254
        !            53: phone: (617) 647-2119
        !            54: email: mairson%[email protected]
        !            55: 
        !            56: BROOKLYN COLLEGE OF CUNY
        !            57: Ken McAloon
        !            58: Dept of Computer Science
        !            59: Brooklyn College of CUNY
        !            60: Brooklyn, NY 11210
        !            61: phone: 718-253-8453
        !            62: email: [email protected]
        !            63: 
        !            64: BROWN UNIVERSITY
        !            65: Ken Zadeck
        !            66: Dept of Computer Science
        !            67: Brown University
        !            68: Box 1910
        !            69: Providence, RI 02912
        !            70: email: [email protected]
        !            71: phone: 401-863-7635
        !            72: 
        !            73: BRUNEL UNIVERSITY
        !            74: Chris Reade
        !            75: Computer Science Dept
        !            76: Brunel University
        !            77: Uxbridge
        !            78: Middlesex UB8 3PH
        !            79: England
        !            80: phone: Uxbridge 74000 Ext 2122
        !            81: email: [email protected]
        !            82: 
        !            83: BUCKNELL UNIVERSITY
        !            84: Jerry Mead
        !            85: Computer Science Dept
        !            86: Bucknell University
        !            87: Lewisburg, PA 17837
        !            88: phone: 717-524-1392/4
        !            89: email: [email protected], [email protected]
        !            90: 
        !            91: CALIFORNIA INSTITUTE OF TECHNOLOGY
        !            92: Mike Newton
        !            93: Caltech 256-80
        !            94: Pasadena CA   91125
        !            95: phone: 818-356-6771 (or leave msg at 6846)
        !            96: mail: [email protected]
        !            97: FTP
        !            98: 
        !            99: CALIFORNIA POLYTECHNIC STATE UNIVERSITY
        !           100: Professor James L. Beug
        !           101: Department of Computer Science
        !           102: Cal Poly
        !           103: San Luis Obispo, CA 93407
        !           104: phone: (805) 756-2071 (MTWThF 1-2 pm PDT)
        !           105: email: [email protected]
        !           106: 
        !           107: CAMBRIDGE UNIV
        !           108: Dr. Larry Paulson
        !           109: Cambridge University Computing Lab
        !           110: Corn Exchange Street
        !           111: Cambridge CB2 2QG
        !           112: UK
        !           113: email: lcp%[email protected]
        !           114: 
        !           115: CARLETON COLLEGE
        !           116: Roger Kirchner
        !           117: Dept of Mathematics and Computer Science
        !           118: Carleton College
        !           119: Northfield, MN 55057
        !           120: phone: (507) 663-4368
        !           121: email: [email protected]
        !           122: 
        !           123: CARNEGIE-MELLON UNIV
        !           124: Prof. Peter Lee (Benjamin Pierce)
        !           125: Carnegie-Mellon Univ.
        !           126: Dept. of Computer Science
        !           127: 5000 Forbes Avenue
        !           128: Pittsburgh, PA 15232
        !           129: email: [email protected]
        !           130: email: [email protected]
        !           131: FTP
        !           132: 
        !           133: CASE WESTERN RESERVE UNIV
        !           134: Prabhaker Mateti
        !           135: Computer Engineering and Science
        !           136: Case Western Reserve University
        !           137: Cleveland, OH 44106
        !           138: email: [email protected]
        !           139: 
        !           140: CENTRE NATIONAL DE RECHERCHE SCIENTIFIQUE (CNRS)
        !           141: Didier Giralt
        !           142: LAAS-CNRS                     
        !           143: 7, av du Colonel Roche
        !           144: 31077 Toulouse Cedex  
        !           145: France
        !           146: [email protected]
        !           147: 
        !           148: CHALMERS UNIV
        !           149: Lennart Augustsson
        !           150: Dept of Computer Science
        !           151: Chalmers University of Technology and
        !           152:    University of Gothenburg
        !           153: S-412 96 Gothenburg
        !           154: SWEDEN
        !           155: email: [email protected]
        !           156: 
        !           157: CHAPMAN COLLEGE
        !           158: Gary Ramet
        !           159: Department of Computer Science
        !           160: Chapman College
        !           161: 333 N. Glassell
        !           162: Orange, CA 92666
        !           163: phone: (714) 997-6875
        !           164: 
        !           165: COLGATE UNIVERSITY
        !           166: Philip Mulry
        !           167: Dept of Computer Science
        !           168: Colgate University
        !           169: Hamilton, NY 13346
        !           170: email: [email protected]
        !           171: phone: 315-824-1000 x 719
        !           172: 
        !           173: COLUMBIA UNIV
        !           174: Gail Kaiser
        !           175: Assistant Professor
        !           176: Computer Science
        !           177: Columbia University
        !           178: 450 Computer Science Building
        !           179: New York, NY 10027
        !           180: phone: (212) 280-3856
        !           181: email: [email protected]
        !           182: 
        !           183: CONSERVATOIRE NATIONAL DES ARTS ET METIERS (CNAM)
        !           184: Daniel Lippman
        !           185: Conservatoire National des Arts et Metiers
        !           186: Laboratoire D'Informatique
        !           187: 239 Rue Saint-Marin
        !           188: 75141 Paris CEDEX
        !           189: France
        !           190: fax: 42719329
        !           191: email: [email protected]
        !           192: [merged with Groupe Inter-Univeritaire pour la Programmation Logique et Fonctionalle,
        !           193: University of Bologne]
        !           194: 
        !           195: CONTEL TECHNOLOGY CENTER
        !           196: Robert F. Mathis
        !           197: Software Engineering Laboratory
        !           198: Contel Technology Center
        !           199: 12015 Lee Jackson Highway
        !           200: Fairfax, Virginia 22033-3346
        !           201: phone: 703-359-0203
        !           202: 
        !           203: CORNELL UNIV
        !           204: Dean B. Krafft
        !           205: Director of Computing Facilities
        !           206: Computer Science Department
        !           207: Upson Hall
        !           208: Cornell University
        !           209: Ithaca, NY  14853
        !           210: (607) 255-9214
        !           211: email: [email protected]
        !           212: FTP
        !           213: 
        !           214: DARPA
        !           215: William Scherlis
        !           216: DARPA/ISTO
        !           217: 1400 Wilson Boulevard
        !           218: Arlington, Virginia 22209
        !           219: phone: 202-694-5800
        !           220: email: [email protected]
        !           221: 
        !           222: DIGITAL EQUIPMENT CORP. (DEC) SYSTEMS RESEARCH CENTER
        !           223: Luca Cardelli
        !           224: DEC Systems Research Center
        !           225: 130 Lytton Avenue
        !           226: Palo Alto, California 94301
        !           227: email: [email protected]
        !           228: phone: 415-853-2100
        !           229: 
        !           230: DUKE UNIVERSITY
        !           231: Gopalan Nadathur
        !           232: Computer Science Department
        !           233: Duke University
        !           234: Durham, NC 27706
        !           235: email: [email protected]
        !           236: FTP
        !           237: 
        !           238: ECOLE DES MINES
        !           239: Prof. Gerard Berry
        !           240: (Ecole Nationale Superieure des Mines de Paris)
        !           241: Centre de Mathematiques Applicquees
        !           242: Ecole des Mines
        !           243: Sophia-Antipolis
        !           244: 06560 Valbonne FRANCE
        !           245: email: [email protected]
        !           246: FTP
        !           247: 
        !           248: ECOLE NATIONALE SUPERIEURE DE L'AERONAUTIQUE ET DE L'ESPACE
        !           249: Prof. Bernard LECUSSAN
        !           250: Ecole Nationale Superieure de l'Aeronautique et de l'Espace
        !           251: 10, Avenue Edouard Belin
        !           252: 31055 TOULOUSE CEDEX-FRANCE
        !           253: e-mail: [email protected]
        !           254: 
        !           255: ECOLE NORMALE SUPERIEURE
        !           256: Prof. Guy Cousineau
        !           257: Dept de Mathematique et d'Informatique
        !           258: Ecole Normale Superieure
        !           259: 45 Rue d'Ulm
        !           260: 75230 Paris Cedex 05
        !           261: FRANCE
        !           262: email: [email protected]  [sic]
        !           263: 
        !           264: EDINBURGH
        !           265: Dr. Nick Rothwell
        !           266: LFCS
        !           267: Dept. of Computer Science
        !           268: University of Edinburgh
        !           269: The King's Buildings
        !           270: Edinburgh EH9 3JZ
        !           271: Scotland
        !           272: email: nick%[email protected]
        !           273: 
        !           274: ELECTROTECHNICAL LABORATORY
        !           275: Ichiro Ogata
        !           276: Computer Science Division
        !           277: Electrotechnical Laboratory
        !           278: Tsukuba Science City, 305 JAPAN
        !           279: email: ogata%[email protected]
        !           280: phone: +81 0298 54 5375
        !           281: 
        !           282: FRIEDRICH-ALEXANDER-UNIVERSITAET ERLANGEN-NEURNBERG
        !           283: Terry Stroup
        !           284: Informatik VII
        !           285: Martensstrasse 3
        !           286: 8520 Erlangen
        !           287: West Germany
        !           288: email: [email protected]
        !           289: phone: 49-9131-85-7930
        !           290: 
        !           291: GEORGETOWN UNIVERSITY
        !           292: John Cherniavsky
        !           293: Dept of Computer Science
        !           294: Georgetown University
        !           295: Washington, DC 20057
        !           296: email: [email protected]
        !           297: 
        !           298: GEORGIA INST OF TECHNOLOGY
        !           299: David Wood
        !           300: Information and Computer Science
        !           301: Georgia Institue of Technology
        !           302: Atlanta, GA 30332-0280
        !           303: email: [email protected]
        !           304: 
        !           305: GESELLSCHAFT FU"R MATHEMATIK UND DATENVERARBEITUNG MGH (GMD)
        !           306: Thomas F. Gordon
        !           307: GMD / F3
        !           308: Schloss Birlinghoven
        !           309: Postfach 1240
        !           310: D-5205 Sankt Augustin 1, FRG
        !           311: email: [email protected]
        !           312: phone: (+49 2241) 14-2665
        !           313: 
        !           314: GLASGOW UNIVERSITY
        !           315: Guy Argo (R. J. M. Hughes)
        !           316: Computing Science Department
        !           317: Glasgow University
        !           318: Glasgow G12 8QQ
        !           319: Scotland
        !           320: email: guy%[email protected]
        !           321: phone: 44-41-339-8855
        !           322: 
        !           323: HARTFORD GRADUATE CENTER
        !           324: Afshin Goodarzi
        !           325: Hartford Graduate Center
        !           326: 275 Windsor Street
        !           327: Hartford, CT 06120
        !           328: email: [email protected]
        !           329: 
        !           330: HELSINKI UNIV OF TECHNOLOGY
        !           331: Jussi Rintanen
        !           332: Helsinki University of Technology
        !           333: Laboratory of Information Processing Science
        !           334: Otakaari 1
        !           335: 02150 ESPOO 15 FINLAND
        !           336: phone: 358-0-4513247
        !           337: telex: 125161 HTKK SF
        !           338: email: [email protected]
        !           339: [Markku Tamminen, 358-0-4512077 (messages: 4512679, home: 710317),
        !           340:  [email protected]]
        !           341: 
        !           342: HEWLETT-PACKARD LABORATORIES, BRISTOL
        !           343: Dave Reynolds
        !           344: Hewlett-Packard Laboratories, Bristol
        !           345: Information Systems Centre
        !           346: Filton Road
        !           347: Stoke, Gifford
        !           348: Bristol BS12 6QZ
        !           349: phone: 011-44-0272-799910 x 24165
        !           350: email: [email protected], [email protected]
        !           351: 
        !           352: HIROSHIMA UNIVERSITY
        !           353: Nakahara Hayao
        !           354: Mathematics and Information Science Course
        !           355: Faculty of Integrated Arts and Sciences
        !           356: Hiroshima University
        !           357: Hiroshima, JAPAN, 730
        !           358: email: hayao%[email protected]
        !           359: 
        !           360: IBM T. J. WATSON RESEARCH CENTER (?)
        !           361: Brent Hailpern
        !           362: IBM TJ Watson Research Center
        !           363: PO Box 704
        !           364: Yorktown Heights, NY  10598
        !           365: 
        !           366: IMPERIAL COLLEGE OF SCIENCE AND TECHNOLOGY
        !           367: John Darlington
        !           368: Dept of Computing
        !           369: Imperial College of Science and Technology
        !           370: University of London
        !           371: 180 Queens Gate
        !           372: London SW7 2BZ
        !           373: 
        !           374: INDIAN INSTITUTE OF SCIENCE
        !           375: T. Viswanathan
        !           376: Computer Center
        !           377: Indian Institute of Science
        !           378: Bangalore 560 012
        !           379: INDIA
        !           380: phone: 364411 X 275/272
        !           381: 
        !           382: INDIANA UNIV
        !           383: Christopher Haynes
        !           384: Indiana University
        !           385: Lindley Hall
        !           386: Bloomington, IN 47405
        !           387: phone: (812) 335-6486
        !           388: email: [email protected]
        !           389: FTP
        !           390: 
        !           391: INSTITUT FU"R INFORMATIK
        !           392: Bernhard Mo"ller
        !           393: Institut fu"r Informatik
        !           394: TU Mu"nchen
        !           395: D-8000 Mu"nchen 2
        !           396: West Germany
        !           397: 
        !           398: INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)
        !           399: Gilles Kahn
        !           400: INRIA, Centre de Sophia Antipolis
        !           401: Avenue Emile Hugues
        !           402: F-06565 Valbonne Cedex
        !           403: France
        !           404: email: [email protected]
        !           405: phone: 011-33-93-65-78-01
        !           406: ---
        !           407: Gerard Huet
        !           408: INRIA
        !           409: Domaine de Voluceau
        !           410: Rocquencourt
        !           411: B.P. 105 - 78153 LE CHESNAY CEDEX
        !           412: France
        !           413: email: [email protected]
        !           414: 
        !           415: INSTITUTE SUPERIEUR DE GESTION DE TUNIS
        !           416: Ahmed Ferchichi
        !           417: Institut Supe'rieur de Gestion de Tunis
        !           418: De'partement Informatique
        !           419: 45 Avenue de la Liberte'
        !           420: 2000 Bardo
        !           421: Tunisia
        !           422: 
        !           423: IOWA STATE UNIV
        !           424: Quentin Johnson
        !           425: Software Analyst
        !           426: Department of Computer Science
        !           427: Iowa State University
        !           428: Ames, IA 50011
        !           429: phone: (515)294-7214
        !           430: email: [email protected]
        !           431: FTP
        !           432: 
        !           433: JOHANN WOLFGANG GOETHE-UNIVERSITAET
        !           434: Prof. Joachim W. Schmidt
        !           435: Fachbereich 20 (Informatik)
        !           436: Johann Wolfgang Goethe-Universitaet
        !           437: Robert-Mayer-Strasse 11-15
        !           438: Postfach 11 19 32
        !           439: D-6000 Frankfurt am Main 11
        !           440: West Germany
        !           441: email:  [email protected]
        !           442: phone: (FRG) 69 / 798 8201
        !           443: 
        !           444: JOHNS HOPKINS UNIVERSITY
        !           445: Amy Zwarico
        !           446: Computer Science Dept
        !           447: New Engineering Building
        !           448: The Johns Hopkins University
        !           449: Baltimore, MD  21218
        !           450: phone: 301-338-5304
        !           451: email: [email protected]
        !           452: 
        !           453: KANSAS STATE UNIV
        !           454: Dave Schmidt
        !           455: Computing and Info. Sciences Dept.
        !           456: Nichols Hall
        !           457: Kansas State Univ.
        !           458: Manhattan, KS  66506
        !           459: phone: 913-532-6350
        !           460: email: [email protected]
        !           461: FTP
        !           462: 
        !           463: KATHOLIEKE UNIVERSITEIT LEUVEN
        !           464: Karel De Vlaminck
        !           465: Katholieke Universiteit Leuven
        !           466: Department of Computer Science
        !           467: Celestijnenlaan 200 A
        !           468: B-3030 Leuven 
        !           469: Belgium
        !           470: phone: +(32) 16-200656
        !           471: email: [email protected]
        !           472: 
        !           473: KOREA ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY
        !           474: D.W. Shin
        !           475: Department of Computer Science
        !           476: Korea Advanced Institute of Science and Technolog (KAIST)
        !           477: P.O. Box 150 Cheongryang
        !           478: Seoul 130-650 Korea
        !           479: email: dwshin%[email protected]
        !           480: 
        !           481: LINKO"PING UNIVERSITY
        !           482: Ms. Nahid Shahmehri
        !           483: Department of Computer & Information Science
        !           484: Linko"ping University
        !           485: S-581 83 Linko"ping
        !           486: SWEDEN
        !           487: email: [email protected]
        !           488: 
        !           489: LOS ALAMOS NATIONAL LABORATORY
        !           490: Joseph H. Fasel
        !           491: Los Alamos National Laboratory
        !           492: C-10, MS B296
        !           493: Los Alamos, NM 87545
        !           494: email: [email protected]
        !           495: phone: 505-667-7158
        !           496: 
        !           497: LOUGHBOROUGH UNIV OF TECHNOLOGY
        !           498: Roger Knott
        !           499: Dept of Computer Studies
        !           500: University of Technology
        !           501: Ashby Road
        !           502: Loughborough
        !           503: Leics LE11 3TU
        !           504: phone: 0509-231839
        !           505: email: [email protected]
        !           506: UK
        !           507: 
        !           508: LUND UNIVERSITY
        !           509: Oskar Permvall
        !           510: Lund University
        !           511: Dept of Computer Science
        !           512: Box 118
        !           513: S-221 00  LUND
        !           514: SWEDEN
        !           515: phone: +46 46 10 96 35
        !           516: email: [email protected]
        !           517: 
        !           518: MAHARISHI INTERNATIONAL UNIVERSITY
        !           519: Dr. Gregory Guthrie
        !           520: Maharishi International University
        !           521: Fairfield, Iowa 52556
        !           522: phone: 515-472-5031
        !           523: 
        !           524: MANCHESTER UNIVERSITY
        !           525: David Carlisle 
        !           526: Computer Science Dept
        !           527: Manchester University
        !           528: Oxford Road
        !           529: Manchester MI3 9PL
        !           530: England
        !           531: email: [email protected]
        !           532: 
        !           533: MASSACHUSETTS INSTITUTE OF TECHNOLOGY
        !           534: Prof Albert Meyer (Mark Reinhold)
        !           535: Electrical Engineering and Computer Science
        !           536: Massachusetts Institute of Technology
        !           537: Cambridge MA 02139
        !           538: phone: (617) 253-6024
        !           539: email: [email protected]
        !           540: 
        !           541: MENTOR GRAPHICS CORPORATION
        !           542: Bob Kelley
        !           543: Mentor Graphics Corporation
        !           544: 8500 SW Creekside Place
        !           545: Beaverton, OR 97005-7191
        !           546: email: [email protected]
        !           547: 
        !           548: META SOFTWARE CORP
        !           549: Jawahar Malhotra
        !           550: Meta Software Corp
        !           551: 150 Cambridge Park Dr.
        !           552: Cambridge, MA 02140
        !           553: email: malhotra%[email protected]
        !           554: phone: 617-576-6920
        !           555: 
        !           556: MITRE
        !           557: Dr. Dale M. Johnson
        !           558: Member of Technical Staff
        !           559: Trusted Computer Systems
        !           560: The MITRE Corporation - B330
        !           561: Burlington Road
        !           562: Bedford, MA 01730
        !           563: email: [email protected]
        !           564: phone: 617-271-8096
        !           565: ---
        !           566: Helen Gill
        !           567: The MITRE Corporation
        !           568: 7525 Colshire Drive
        !           569: M.S. Z645
        !           570: McLean, Va 22102
        !           571: email: [email protected]
        !           572: phone: (703) 883-7980
        !           573: 
        !           574: NEW MEXICO STATE UNIV
        !           575: John B. Johnston
        !           576: Dept of Computer Science
        !           577: New Mexico State University
        !           578: Box 3CU
        !           579: Las Cruces, New Mexico 88003-0099
        !           580: phone: (505) 646-3723
        !           581: 
        !           582: NEW YORK UNIVERSITY
        !           583: Ed Schonberg (Fritz Henglein)
        !           584: NYU
        !           585: 715 Broadway, 7th floor
        !           586: New York, N.Y. 10003
        !           587: email: [email protected], [email protected]
        !           588: FTP
        !           589: 
        !           590: NORTHEASTERN UNIV
        !           591: Mitchell Wand
        !           592: College of Computer Science
        !           593: Northeastern University
        !           594: 360 Huntington Avenue #161CN
        !           595: Boston, MA 02115
        !           596: phone: 617-437-3539
        !           597: email: [email protected]
        !           598: FTP
        !           599: 
        !           600: OBERLIN COLLEGE
        !           601: Bob Geitz
        !           602: Computer Science Program
        !           603: Oberlin College
        !           604: Oberlin, OH 44074
        !           605: phone: (216) 775-8083
        !           606: email: [email protected]
        !           607: FTP
        !           608: 
        !           609: OKLAHOMA STATE UNIVERSITY
        !           610: Norman Graham
        !           611: Oklahoma State University
        !           612: Computing and Information Sciences
        !           613: 219 Mathematical Sciences Building
        !           614: Stillwater, OK  74078-0599
        !           615: email: [email protected]
        !           616: 
        !           617: OREGON GRADUATE CENTER
        !           618: Richard B. Kieburtz
        !           619: Dept of Computer Science and Engineering
        !           620: Oregon Graduate Center
        !           621: 19600 N. W. von Neumann Drive
        !           622: Beaverton, Oregon 97006-1999
        !           623: email: [email protected]
        !           624: 
        !           625: OXFORD UNIVERSITY
        !           626: Bernard Sufrin
        !           627: Oxford University Computing Laboratory
        !           628: Programming Research Group
        !           629: 11 Keble Road
        !           630: Oxford OX1 3QD
        !           631: England
        !           632: phone: 011-44-0865-273828
        !           633: email: sufrin%prg.ox.ac.uk
        !           634: 
        !           635: PACE UNIVERSITY
        !           636: Joseph Bergin
        !           637: Computer Science Dept
        !           638: Pace University
        !           639: 1 Pace Plaza
        !           640: New York, NY 10038
        !           641: email: [email protected]
        !           642: phone: 914-255-4369
        !           643: 
        !           644: PENNSYLVANIA STATE UNIVERSITY
        !           645: S. Purushothaman
        !           646: Dept of Computer Science
        !           647: Pennsylvania State University
        !           648: University Park, PA 16802
        !           649: email: [email protected]
        !           650: phone: 814-865-1630 (office), 865-9505 (Dept)
        !           651: 
        !           652: POLISH ACADEMY OF SCIENCES
        !           653: Andrzej Blikle
        !           654: Institute of Computer Science
        !           655: Polish Academy of Sciences
        !           656: P. O. Box 22
        !           657: 00-901 Warsaw, PKIN
        !           658: Poland
        !           659: 
        !           660: POMONA COLLEGE
        !           661: Rett Bull
        !           662: Dept of Mathematics
        !           663: Pomona College
        !           664: Claremont, CA 91711
        !           665: email: RETT%[email protected]
        !           666: 
        !           667: PURDUE UNIVERSITY
        !           668: Kevin R. Miller
        !           669: Systems Engineer
        !           670: Purdue University Physics
        !           671: West Lafayette, IN  47907
        !           672: phone: (317) 494 - 9729
        !           673: email: [email protected]
        !           674: FTP
        !           675: 
        !           676: QUEEN MARY COLLEGE, UNIVERSITY OF LONDON
        !           677: Alan W. Ball
        !           678: Computer Science Department
        !           679: Queen Mary College
        !           680: University of London
        !           681: Mile End Road
        !           682: London E1 4NS
        !           683: ENGLAND
        !           684: phone: 44-1-975-555 x 3097
        !           685: email: [email protected]
        !           686: 
        !           687: QUEEN'S UNIVERSITY
        !           688: Tom Bradshaw
        !           689: Manager of Technical Services
        !           690: Dept of Computing and Information Science
        !           691: Queen's University
        !           692: Kingston, Ontario, Canada, K7L 3N6
        !           693: email: [email protected] or ...!utcsri!qucis!bradshaw
        !           694: 
        !           695: QUINTUS COMPUTER SYSTEMS
        !           696: Richard A. O'Keefe,
        !           697: Quintus Computer Systems, Inc.,
        !           698: 1310 Villa Street,
        !           699: Mountain View,
        !           700: California 94041-1126.
        !           701: 
        !           702: RENSSELAER POLYTECHNIC INSTITUTE
        !           703: Bruce McKenney
        !           704: Voorhees Computing Center
        !           705: Rensselaer Polytechnic Institute
        !           706: Troy, NY 12180-3590
        !           707: phone: (518)-276-8174
        !           708: email: [email protected]
        !           709: 
        !           710: RICE UNIVERSITY
        !           711: Vicky Riffle
        !           712: Network Manager
        !           713: Rice University - HB230
        !           714: Department of Computer Science
        !           715: PO Box 1892
        !           716: Houston, Texas  77251
        !           717: 713-527-6043
        !           718: [email protected]
        !           719: 
        !           720: ROSE-HULMAN INSTITUTE OF TECHNOLOGY
        !           721: Fred J. Sullivan
        !           722: phone: 812-877-8426
        !           723: email: [email protected]
        !           724: 
        !           725: RUTGERS UNIV
        !           726: Prof. Alex Borgida
        !           727: Dept. of Computer Science
        !           728: Rutgers University
        !           729: 414 Hill Center, Busch Campus
        !           730: New Brunswick, NJ 08903
        !           731: email: [email protected]
        !           732: FTP
        !           733: 
        !           734: SAN JOSE STATE UNIVERSITY
        !           735: Prof Kenneth Londen
        !           736: Dept of Mathematics and Computer Science
        !           737: San Jose State University
        !           738: One Washington Square
        !           739: San Jose, CA 95192-0103
        !           740: phone: (408) 924-5134
        !           741: 
        !           742: SANTA CLARA UNIVERSITY
        !           743: Ruth E. Davis
        !           744: EECS Dept
        !           745: Santa Clara University
        !           746: Santa Clara, CA 95053
        !           747: email: RDAVIS%[email protected]
        !           748: 
        !           749: SIEMENS (?)
        !           750: Hans Leiss
        !           751: Zentralbereich Forschung und Technik
        !           752: ZTI INF 2.1
        !           753: Siemens AG
        !           754: Otto-Hahn-Ring 6
        !           755: D-8000 Munich 83
        !           756: W-Germany
        !           757: email: [email protected]
        !           758: 
        !           759: SIMON FRASER UNIVERSITY
        !           760: Andrew Kurn
        !           761: School of Computing Science
        !           762: Simon Fraser University
        !           763: Burnaby, B. C. 
        !           764: Canada  V5A 1S6
        !           765: email: [email protected]
        !           766: 
        !           767: ST CLOUD STATE UNIVERSITY
        !           768: Larry Schafer (Randy Kolb)
        !           769: Academic Computer Services
        !           770: ECC Building, Room 101
        !           771: St. Cloud State University
        !           772: St. Cloud, Minnesota  56301
        !           773: email: LARRY%[email protected]
        !           774: 
        !           775: STANFORD UNIV
        !           776: Prof. John Mitchell
        !           777: Dept of Computer Science
        !           778: Stanford University
        !           779: Stanford, CA 94305
        !           780: email: [email protected]
        !           781: FTP
        !           782: 
        !           783: SUN MICROSYSTEMS, INC. (?)
        !           784: Jim Kempf
        !           785: Sun Microsystems
        !           786: 2550 Garcia Ave.
        !           787: Mountain View, CA
        !           788: 94043
        !           789: email: [email protected]
        !           790: phone: 415-336-4601
        !           791: 
        !           792: SUNY AT BINGHAMTON
        !           793: Fred Sullivan
        !           794: Department of Mathematical Sciences
        !           795: State University of New York at Binghamton
        !           796: Binghamton, New York  13903
        !           797: email: [email protected]
        !           798: FTP
        !           799: 
        !           800: SUNY AT STONY BROOK
        !           801: Prof. Prateek Mishra
        !           802: Dept. of Computer Science
        !           803: SUNY at Stony Brook
        !           804: Stony Brook, NY 11794-4400
        !           805: phone: (516) 632-8450
        !           806: email: [email protected]
        !           807: FTP
        !           808: 
        !           809: SUNY OSWEGO
        !           810: Doug Lea
        !           811: Computer Science Dept
        !           812: SUNY Oswego
        !           813: Oswego, NY 13126
        !           814: phone: 315-341-2367
        !           815: email: [email protected]
        !           816: 
        !           817: SWISS FEDERAL INSTITUTE OF TECHNOLOGY OF LAUSANNE
        !           818: Jean-Charles Gregoire
        !           819: DI-LIT
        !           820: EL-Ecublens
        !           821: CH-1015 Lausanne
        !           822: SWITZERLAND
        !           823: email: gregoire%[email protected], [email protected]
        !           824: 
        !           825: SYRACUSE UNIV
        !           826: Kevin J. Greene
        !           827: CASE Center
        !           828: 120 Hinds Hall
        !           829: Syracuse Univ
        !           830: Syracuse, NY 13244-1190
        !           831: phone: (315) 423-1053
        !           832: 
        !           833: TECHNICAL UNIVERSITY BERLIN
        !           834: Juergen Buntrock
        !           835: Technical University Berlin
        !           836: Department of Computer Science
        !           837: Sekr. FR 6-10
        !           838: Franklinstr. 28/29
        !           839: D-1000 Berlin 10
        !           840: West Germany
        !           841: email: jubu%[email protected]
        !           842: 
        !           843: TECHNICAL UNIVERSITY OF DENMARK (DTH)
        !           844: Hans Bruun
        !           845: Department of Computer Science
        !           846: The Technical University of Denmark
        !           847: DTH Building 344
        !           848: DK-2800 Lyngby
        !           849: Denmark
        !           850: phone: +45-42-881566
        !           851: email: [email protected]
        !           852: [J. Steensgaard-Madsen, [email protected]]
        !           853: 
        !           854: TECHNISCHE HOCHSCHULE DARMSTADT
        !           855: Dr. Gregor Snelting
        !           856: Praktische Informatik
        !           857: Technische Hochschule Darmstadt
        !           858: Fachbereich 20
        !           859: 6100 Darmstadt, Magdalenenstr. 11 c
        !           860: phone: (06151) 16-5110
        !           861: 
        !           862: TEKTRONIX LABORATORIES
        !           863: Uwe Pleban, M/S 50-662
        !           864: Tektronix Laboratories
        !           865: Tektronix, Inc.
        !           866: P.O. Box 500
        !           867: Beaverton, OR 97077
        !           868: email: uwe%[email protected]
        !           869: phone: (503) 627-6286
        !           870: 
        !           871: TEL AVIV UNIVERSITY
        !           872: Dr. Y. Yeshurun
        !           873: Dept of Computer Science
        !           874: Tel Aviv University
        !           875: Tel Aviv 69978
        !           876: ISRAEL
        !           877: email: hezy%[email protected]
        !           878: 
        !           879: THE HEBREW UNIVERSITY OF JERUSALEM
        !           880: C. Beeri
        !           881: Dept. of Computer Science
        !           882: The Hebrew University of Jerusalem
        !           883: Givat-Ram, Jerusalem 91904
        !           884: ISRAEL
        !           885: email: [email protected]
        !           886: 
        !           887: TOHOKU UNIVERSITY
        !           888: Professor Takayasu Ito
        !           889: Dept. of Information Engineering
        !           890: School of Engineering
        !           891: Tohoku University
        !           892: Sendai, Japan 980
        !           893: email: [email protected]
        !           894: 
        !           895: TOKYO INSTITUTE OF TECHNOLOGY
        !           896: HAYAMA Takeshi
        !           897: c/o Associate Prof. YONEZAKI Naoki
        !           898: Department of Computer Science
        !           899: Faculty of Engineering
        !           900: Tokyo Institute of Technology
        !           901: 2-12-1 Ookayama, Meguro-ku Tokyo 152
        !           902: JAPAN
        !           903: phone: +81 3 726 1111 ext.4033
        !           904: email: hayama%[email protected]
        !           905: 
        !           906: TRINITY COLLEGE, UNIVERSITY OF DUBLIN
        !           907: Cormac Callanan
        !           908: Dept of Computer Science
        !           909: Trinity College
        !           910: University of Dublin
        !           911: Dublin 2
        !           912: IRELAND
        !           913: phone: 353.1.772941
        !           914: 
        !           915: UNISYS PAOLI RESEARCH CENTER
        !           916: Tim Finin
        !           917: Paoli Research Center
        !           918: Unisys Corporation
        !           919: PO Box 517, Paoli PA 19301
        !           920: email: [email protected]
        !           921: phone: 215-648-7446, 215-386-1749 (h)
        !           922: 
        !           923: UNIV OF AKRON
        !           924: Albert Shpuntoff
        !           925: Mathematical Sciences Dept
        !           926: University of Akron
        !           927: Akron, OH 44325
        !           928: phone: (216) 375-7400 (department)
        !           929: email: R1AFS%[email protected]
        !           930: 
        !           931: UNIV OF BATH
        !           932: Julian Padget
        !           933: School of Mathematical Sciences
        !           934: Univ of Bath
        !           935: Bath
        !           936: Avon BA2 7AY
        !           937: UK
        !           938: phone: 44-225-826971
        !           939: email: [email protected]
        !           940: 
        !           941: UNIV OF BOLOGNE
        !           942: Rodrigo Laurens
        !           943: Groupe Inter-Universitaire pour la Programmation Logique et Fonctionalle
        !           944: 239 Bd. Jean Jaures
        !           945: 92100 Bologne
        !           946: FRANCE
        !           947: 
        !           948: UNIV OF CALGARY
        !           949: Graham M. Birtwistle
        !           950: Dept of Computer Science
        !           951: University of Calgary
        !           952: Calgary, Alberta
        !           953: Canada T2N 1N4
        !           954: phone: (403) 289-2043 / 220 6055
        !           955: email: [email protected]
        !           956: 
        !           957: UNIV OF CALIFORNIA AT DAVIS
        !           958: Phil Windley
        !           959: Div. of Computer Science
        !           960: University of California, Davis
        !           961: Davis, California 95616
        !           962: phone: (916) 756-3168
        !           963: email: [email protected] [ftp]
        !           964: 
        !           965: UNIV OF CALIFORNIA AT LOS ANGELES (UCLA)
        !           966: Brenda Ramsey
        !           967: 3731 Boelter Hall
        !           968: Computer Science Department
        !           969: University of California at Los Angeles
        !           970: Los Angeles CA 90024-1596
        !           971: email: [email protected]
        !           972: 
        !           973: UNIV OF CALIFORNIA, BERKELEY
        !           974: William Maddox
        !           975: CS Division, EECS
        !           976: 571 Evans Hall
        !           977: University of California
        !           978: Berkeley, CA  94720
        !           979: phone: 415-642-9542
        !           980: email: [email protected]
        !           981: 
        !           982: UNIV OF CHICAGO
        !           983: Michael O'Donnell
        !           984: Univ. of Chicago
        !           985: Dept. of Computer Science
        !           986: Ryerson Hall
        !           987: 1100 E. 58th Street
        !           988: Chicago, IL 60637
        !           989: phone: (312) 702-6011
        !           990: email: [email protected]
        !           991: FTP
        !           992: 
        !           993: UNIV OF DELAWARE
        !           994: B. David Saunders
        !           995: Computer and Information Sciences Dept.
        !           996: University of Delaware
        !           997: Newark, DE 19716
        !           998: email: [email protected]
        !           999: 
        !          1000: UNIV OF DURHAM
        !          1001: Martin Ward
        !          1002: Computer Science Dept
        !          1003: Science Labs
        !          1004: South Rd
        !          1005: Durham
        !          1006: DH1 3LE
        !          1007: England
        !          1008: email: martin%[email protected]
        !          1009: 
        !          1010: UNIV OF ILLINOIS
        !          1011: Sam Kamin
        !          1012: Computer Science Dept
        !          1013: University of Illinois
        !          1014: 1304 W. Springfield Av
        !          1015: Urbana, IL  61801
        !          1016: phone: (217) 333-8069
        !          1017: email: [email protected]
        !          1018: FTP
        !          1019: 
        !          1020: UNIV OF MARYLAND
        !          1021: Gregory F. Johnson
        !          1022: Computer Science Department
        !          1023: University of Maryland
        !          1024: College Park, MD 20742
        !          1025: email: (301) 454-1463
        !          1026: phone: [email protected]
        !          1027: FTP
        !          1028: 
        !          1029: UNIV OF MASSACHUSETTS AT BOSTON
        !          1030: Bill White
        !          1031: Department of Math. and Comp. Sci.
        !          1032: University of Massachusetts at Boston
        !          1033: Harbor Campus
        !          1034: Boston, MA 02125-3393
        !          1035: phone: 617-929-7998
        !          1036: email: [email protected]
        !          1037: 
        !          1038: UNIV OF NEVADA AT LAS VEGAS
        !          1039: Jay Nietling
        !          1040: Department of CS & EE
        !          1041: UNLV
        !          1042: 4505 S. Maryland Parkway
        !          1043: Las Vegas, NV 89154
        !          1044: phone: 702-739-3681
        !          1045: email: [email protected]
        !          1046: 
        !          1047: UNIV OF NEW HAMPSHIRE
        !          1048: Prof. Philip J. Hatcher
        !          1049: University of New Hampshire
        !          1050: Dept. of Computer Science
        !          1051: College of Engineering and Physical Sciences
        !          1052: Kingsbury Hall
        !          1053: Durham, New Hampshire
        !          1054: phone: 603-862-2678
        !          1055: email: [email protected]
        !          1056: 
        !          1057: UNIV OF NEW MEXICO
        !          1058: George Luger
        !          1059: Dept of Computer Science
        !          1060: Univ of New Mexico
        !          1061: Albuquerque, NM 87131
        !          1062: phone: 505-277-3204
        !          1063: email: [email protected]
        !          1064: 
        !          1065: UNIV OF NORTH CAROLINA - CHAPEL HILL
        !          1066: Bruce T. Smith
        !          1067: University of North Carolina - Chapel Hill
        !          1068: Dept of Computer Science
        !          1069: Sitterson Hall
        !          1070: Chapel Hill, NC 27514
        !          1071: email: bts%[email protected]
        !          1072: FTP
        !          1073: 
        !          1074: UNIV OF PENNSYLVANIA
        !          1075: Prof. Peter Buneman
        !          1076: Dept. of Computer and Information Science
        !          1077: University of Pennsylvania
        !          1078: 200 South 33rd Street
        !          1079: Philadelphia, PA 19104-6389
        !          1080: phone: (215) 898-7703
        !          1081: email: [email protected]
        !          1082: FTP
        !          1083: 
        !          1084: UNIV OF PISA
        !          1085: Vincenzo Ambriola
        !          1086: Universita' Di Pisa
        !          1087: Dipartmento Di Informatica
        !          1088: Corso Italia 40
        !          1089: 56100 Pisa, Italy
        !          1090: phone: 050-510266
        !          1091: email: [email protected]
        !          1092: 
        !          1093: UNIV OF SOUTHERN CALIFORNIA
        !          1094: Dean Jacobs
        !          1095: Computer Science Department
        !          1096: University of Southern California
        !          1097: Los Angeles, California 90089-0782
        !          1098: phone: (213) 743-7881
        !          1099: email: [email protected]
        !          1100: 
        !          1101: UNIV OF TOKYO
        !          1102: Hiroyuki Sato
        !          1103: Department of Information Science, Faculty of Science
        !          1104: University of Tokyo
        !          1105: Hongo 7-3-1, Bunkyo-ku
        !          1106: Tokyo, 113 Japan
        !          1107: phone: (JAPAN) 03-812-2111 x 4090
        !          1108: email: [email protected], [email protected]
        !          1109: 
        !          1110: UNIV OF UTAH
        !          1111: Gary Lindstrom
        !          1112: Dept of Computer Science
        !          1113: Univ of Utah
        !          1114: 4150 Merrill Engineering Bldg
        !          1115: Salt Lake City, Utah 84112
        !          1116: phone: (801) 581-5586
        !          1117: email: [email protected]
        !          1118: FTP
        !          1119: 
        !          1120: UNIV OF WARWICK
        !          1121: Jeff Smith
        !          1122: Computer Science Dept
        !          1123: Univ of Warwick
        !          1124: Coventry CV4 7AL
        !          1125: ENGLAND
        !          1126: phone: 44-203-523485
        !          1127: email: [email protected]
        !          1128: 
        !          1129: UNIV OF WASHINGTON
        !          1130: Erik Lundberg
        !          1131: Computer Science Lab, FR-35
        !          1132: University of Washington
        !          1133: Seattle, WA  98195
        !          1134: phone: 206-543-2795
        !          1135: email: [email protected] [FTP]
        !          1136: 
        !          1137: UNIV OF WISCONSIN -- MILWAUKEE
        !          1138: Dr. Deborah Knox
        !          1139: Assistant Professor
        !          1140: Dept. of Elec. Engr. and Computer Science
        !          1141: University of Wisconsin-Milwaukee
        !          1142: P.O. Box 784
        !          1143: Milwaukee, WI   53201
        !          1144: email: (414) 229-4265
        !          1145: phone: [email protected]
        !          1146: 
        !          1147: UNIVERSIDAD NACIONAL AUTONOMA DE MEXICO
        !          1148: Gloria Quintanilla
        !          1149: Instituto de Investigaciones en Matematicas Aplicadas y en Sistemas
        !          1150: Universidad Nacional Autonoma de Mexico
        !          1151: APDO. POSTAL 20-726 ADMON. No. 20
        !          1152: Delegacion de Alvaro Obregon
        !          1153: 01000 MEXICO, D.F.
        !          1154: 
        !          1155: UNIVERSIDAD POLIT\'ECNICA DE MADRID
        !          1156: Prof. Carlos Delgado Kloos
        !          1157: Depto. Ingenir\'ia de Sistemas Telem\'aticos
        !          1158: Universidad Polit\'ecnica de Madrid
        !          1159: ETSI Telecomunicaci\'on
        !          1160: Ciudad Universitaria
        !          1161: E-28040 Madrid
        !          1162: Spain
        !          1163: email: [email protected]
        !          1164: phone: 34-1-5495762 x 313
        !          1165: 
        !          1166: UNIVERSITAET DES SAARLANDES
        !          1167: Beinhold Heckmann
        !          1168: Universitaet des Saarlandes
        !          1169: FB 10 - Informatik
        !          1170: Im Stadtwald 15
        !          1171: D - 6620 Saarbruecken
        !          1172: West Germany
        !          1173: email: [email protected]
        !          1174: [Prof. Dr. R. Wilhelm, 0681 / 302-3434, wilhelm%[email protected]]
        !          1175: 
        !          1176: UNIVERSITY OF AALBORG
        !          1177: Flemming Nielson
        !          1178: Institut for Elektroniscke Systemer
        !          1179: Aalborg Universitetscenter
        !          1180: Strandvijen 19
        !          1181: DK-9000 Aalborg
        !          1182: Denmark
        !          1183: 
        !          1184: UNIVERSITY OF BARI
        !          1185: V. Michele Abrusci
        !          1186: Laboratorio de Epistemologia Informatica
        !          1187: Facolta' di Lettere e Filosofia
        !          1188: Universita' di Bari
        !          1189: Pallazzo Ateneo
        !          1190: 70121 BARI
        !          1191: Italy
        !          1192: phone: 39-80-314-165
        !          1193: 
        !          1194: UNIVERSITY OF CALIFORNIA, SAN DIEGO
        !          1195: Jim Mattson
        !          1196: Computer Science and Engineering Department, C-014
        !          1197: University of California, San Diego
        !          1198: La Jolla, CA 92093
        !          1199: phone: 619-534-5913
        !          1200: email: mattson%[email protected]
        !          1201: [Satish Thatte, thatte%[email protected]]
        !          1202: [Cindy Paloma, Computer Support Group, (619) 534-4595, paloma%[email protected]]
        !          1203: FTP
        !          1204: 
        !          1205: UNIVERSITY OF CINCINNATI
        !          1206: John Schlipf
        !          1207: Department of Computer Science
        !          1208: University of Cincinnati
        !          1209: Cincinnati, OH 45221-0008
        !          1210: email: PCMSJSS%[email protected]
        !          1211: 
        !          1212: UNIVERSITY OF CONNECTICUT
        !          1213: Prof. George Beshers
        !          1214: 260 Glenbrook Rd, U-155
        !          1215: Univ. of Connecticut
        !          1216: Storrs, CT 06269-3155
        !          1217: phone: 203-486-5963
        !          1218: email: [email protected]
        !          1219: FTP
        !          1220: 
        !          1221: UNIVERSITY OF COPENHAGEN
        !          1222: Olivier Danvy
        !          1223: DIKU - Computer Science Department
        !          1224: University of Copenhagen
        !          1225: DK-2100 COPENHAGEN O/
        !          1226: Denmark
        !          1227: email: [email protected]
        !          1228: 
        !          1229: UNIVERSITY OF DORTMUND
        !          1230: Harald Ganzinger
        !          1231: FB Informatik
        !          1232: University of Dortmund
        !          1233: D-4600 Dortmund 50
        !          1234: West Germany
        !          1235: email: [email protected]
        !          1236: 
        !          1237: UNIVERSITY OF EAST ANGLIA
        !          1238: Ronan Sleep
        !          1239: School of Computing Studies
        !          1240: University of East Anglia
        !          1241: University Plain
        !          1242: Norwich NOR 88C
        !          1243: England
        !          1244: email: arpa!uunet.uu.net!uucp!mcvax!sys.uea.ac.uk!mrs
        !          1245: 
        !          1246: UNIVERSITY OF FLORIDA
        !          1247: Prof. Paul A. Fishwick
        !          1248: Dept. of Computer Science
        !          1249: Univ. of Florida
        !          1250: Bldg. CSE, Room 301
        !          1251: Gainesville, FL 32611
        !          1252: phone: 904-335-8036
        !          1253: email: [email protected]
        !          1254: 
        !          1255: UNIVERSITY OF GRONINGEN
        !          1256: Paul Chisholm
        !          1257: Dept of Mathematics and Computing Science
        !          1258: University of Groningen
        !          1259: POB 800
        !          1260: 9700 AV Groningen
        !          1261: The Netherlands
        !          1262: email: arpa!uunet.uu.net!mcvax!guvaxin!paul
        !          1263: 
        !          1264: UNIVERSITY OF ILLINOIS AT CHICAGO
        !          1265: Dr. William Howard (Clarence Williams)
        !          1266: Mathematics, Statistics, and Computer Science Dept.
        !          1267: University of Illinois at Chicago
        !          1268: 851 S. Morgan
        !          1269: Room 322 SEO
        !          1270: Chicago, IL 60680
        !          1271: phone: 312-996-3041
        !          1272: email: [email protected]
        !          1273: 
        !          1274: UNIVERSITY OF IOWA
        !          1275: Monagur N. Muralidharan
        !          1276: Department of Computer Science 
        !          1277: The University of Iowa
        !          1278: Iowa City
        !          1279: IA 52242
        !          1280: phone: 319-335-0736
        !          1281: email: [email protected]
        !          1282: 
        !          1283: UNIVERSITY OF KENT
        !          1284: Simon Thompson
        !          1285: Computer Science Dept
        !          1286: University of Kent
        !          1287: Canterbury CT2 7NF
        !          1288: England
        !          1289: phone: 44-227-764000
        !          1290: email: [email protected]
        !          1291: 
        !          1292: UNIVERSITY OF KENTUCKY
        !          1293: Lawrence A. Harris
        !          1294: Dept of Mathematics
        !          1295: University of Kentucky
        !          1296: 939 Patterson Office Tower
        !          1297: Lexington, Kentucky 40506-0027
        !          1298: phone: 606-257-1549
        !          1299: 
        !          1300: UNIVERSITY OF LOWELL
        !          1301: Arun Arya, Ray Gumb
        !          1302: Dept of Computer Science
        !          1303: University of Lowell
        !          1304: Lowell, MA 01854
        !          1305: phone: 508-452-5000x2668
        !          1306: email: [email protected], [email protected]
        !          1307: 
        !          1308: UNIVERSITY OF MANCHESTER INSTITUTE OF SCIENCE AND TECHNOLOGY
        !          1309: Stephen Eldridge
        !          1310: Computation Department
        !          1311: UMIST
        !          1312: PO Box 88
        !          1313: Manchester M60 1QD
        !          1314: ENGLAND
        !          1315: telex: 666094
        !          1316: email: see%[email protected]
        !          1317: 
        !          1318: UNIVERSITY OF MICHIGAN
        !          1319: Todd Knoblock
        !          1320: Electrical Engineering and Computer Science Department
        !          1321: The University of Michigan
        !          1322: 1301 Beal Avenue
        !          1323: Ann Arbor, MI   48109
        !          1324: phone: 313-662-9687 / 936-2971
        !          1325: email: [email protected]
        !          1326: FTP
        !          1327: 
        !          1328: UNIVERSITY OF NICE
        !          1329: Stephane Dalmas
        !          1330: Universite de Nice, LISAN
        !          1331: CNRS Bat.3 
        !          1332: rue Albert Einstein
        !          1333: Sophia Antipolis
        !          1334: 06560 Valbonne
        !          1335: FRANCE
        !          1336: email: [email protected]
        !          1337: 
        !          1338: UNIVERSITY OF PARIS-SUD
        !          1339: Marie Claude Gaudel
        !          1340: LRI, Bat. 490
        !          1341: Universite' de Paris-Sud
        !          1342: 91405 Orsay cedex
        !          1343: FRANCE
        !          1344: 
        !          1345: UNIVERSITY OF PASSAU
        !          1346: Robert Stabl
        !          1347: Fakulta"t fu"r Mathematik und Informatik
        !          1348: Universita"t Passau
        !          1349: Postfach 2540
        !          1350: D-8390 Passau
        !          1351: West Germany
        !          1352: email: uunet.uu.net!uucp!unido!unipas!stabl
        !          1353: [Martin Wirsing, arpa!uunet.uu.net!uucp!unido!unipas!wirsing]
        !          1354: 
        !          1355: UNIVERSITY OF PITTSBURGH
        !          1356: Prof. Mary Lou Soffa
        !          1357: Computer Science Department
        !          1358: University of Pittsburgh
        !          1359: Pittsburgh, Pa. 15260
        !          1360: phone: (412) 624-8425
        !          1361: email: [email protected]
        !          1362: 
        !          1363: UNIVERSITY OF ROME
        !          1364: Alberto Pettorossi
        !          1365: IASI-CNR
        !          1366: Viale Manzoni 30
        !          1367: 00185 ROMA
        !          1368: Italy
        !          1369: email: [email protected]%cernvax
        !          1370: 
        !          1371: UNIVERSITY OF SIEGEN
        !          1372: D. Spreen
        !          1373: Lehrgebiet Theoretische Informatik
        !          1374: Universita"t Siegen
        !          1375: Postfach 101240
        !          1376: 5900 Siegen
        !          1377: West Germany
        !          1378: 
        !          1379: UNIVERSITY OF SOUTHAMPTON
        !          1380: David De Roure
        !          1381: Computer Science
        !          1382: The University of Southampton
        !          1383: Southampton SO9 5NH, UK
        !          1384: email: dder%[email protected]
        !          1385: phone: +44 703 559122 ext 2418
        !          1386: 
        !          1387: UNIVERSITY OF ST ANDREWS
        !          1388: Roy Dyckhoff
        !          1389: Computer Science Dept
        !          1390: Unviersity of St Andrews
        !          1391: St Andrews, Fife
        !          1392: Scotland
        !          1393: email: [email protected]
        !          1394: 
        !          1395: UNIVERSITY OF SUSSEX
        !          1396: Gavin Wraith
        !          1397: Department of Mathematics
        !          1398: University of Sussex
        !          1399: Falmer
        !          1400: E.Sussex BN1 9QH
        !          1401: U.K.
        !          1402: phone: Brighton 606755 ext 3033
        !          1403: email: [email protected]
        !          1404: 
        !          1405: UNIVERSITY OF TEXAS AT AUSTIN
        !          1406: Andrew Winston
        !          1407: Dept of Computer Science
        !          1408: University of Texas at Austin
        !          1409: Austin, TX 78712-1175
        !          1410: 
        !          1411: UNIVERSITY OF TRONDHEIM
        !          1412: Reidar Conradi
        !          1413: The University of Trondheim
        !          1414: The Norwegian Institute of Technology
        !          1415: Division of Computer Systems and Telematics
        !          1416: O. S. Bragstads plass 2 E
        !          1417: N 7034 Trondheim
        !          1418: Norway
        !          1419: phone: 47 7 593444
        !          1420: 
        !          1421: UNIVERSITY OF TULSA
        !          1422: Sujeet Shenoi
        !          1423: Mathematical and Computer Sciences
        !          1424: University of Tulsa
        !          1425: 600 South College Avenue
        !          1426: Tulsa, OK 74104
        !          1427: email: [email protected]
        !          1428: 
        !          1429: UNIVERSITY OF TURIN
        !          1430: Mariangela Dezani
        !          1431: Dipartimento di Informatica
        !          1432: C. SUIZZERA 185
        !          1433: 10149 - TORINO
        !          1434: Italy
        !          1435: email: [email protected]
        !          1436: 
        !          1437: UNIVERSITY OF UMEA
        !          1438: Erik Tarnvik
        !          1439: Dept of Computing Science
        !          1440: University of Umea
        !          1441: S-90187 Umea
        !          1442: SWEDEN
        !          1443: phone: 46-90166583
        !          1444: email: [email protected]
        !          1445: [Lennart Edblom, [email protected]]
        !          1446: 
        !          1447: UNIVERSITY OF WISCONSIN - MADISON
        !          1448: Charles N. Fischer
        !          1449: Computer Sciences
        !          1450: University of Wisconsin - Madison
        !          1451: 1210 W. Dayton St.
        !          1452: Madison, Wisc  53706
        !          1453: email: [email protected]
        !          1454: 
        !          1455: UNIVERSITY OF YORK
        !          1456: Martin C. Atkins
        !          1457: Dept. of Computer Science
        !          1458: University of York
        !          1459: Heslington
        !          1460: York Y01 5DD
        !          1461: ENGLAND
        !          1462: phone: 44-904-432789
        !          1463: email: [email protected]
        !          1464: 
        !          1465: UNIVERSITY POLITECNICA DE CATALUN~A
        !          1466: Fernando Orejas
        !          1467: Facultad de Informatica
        !          1468: Univ. Politecnica de Catalun~a
        !          1469: Pau Gargallo 5
        !          1470: 08028 Barcelona
        !          1471: Spain
        !          1472: email: [email protected]
        !          1473: 
        !          1474: UNIVERSIT\'E LOUIS PASTEUR
        !          1475: Dominique Viaud
        !          1476: D\'epartement d'Informatique
        !          1477: Universit\'e Louis Pasteur
        !          1478: 7, rue Ren\'e Descartes
        !          1479: 67084 STRASBOURG Cedex
        !          1480: France
        !          1481: phone: 88 41 63 00
        !          1482: 
        !          1483: VICTORIA UNIVERSITY OF WELLINGTON
        !          1484: Brian Boutel
        !          1485: Dept of Computer Science
        !          1486: Victoria University of Wellington
        !          1487: Private Bag
        !          1488: Wellington
        !          1489: New Zealand
        !          1490: email: [email protected]
        !          1491: 
        !          1492: VILLANOVA UNIVERSITY
        !          1493: Leon C. Robbins, Jr.
        !          1494: Dept of Mathematical Sciences
        !          1495: Villanova University
        !          1496: Villanova, PA 19085-1699
        !          1497: email: [email protected]
        !          1498: phone: 215-645-4850
        !          1499: 
        !          1500: WASHINGTON STATE UNIVERSITY
        !          1501: David Lingle
        !          1502: Computer Science Department
        !          1503: Washington State University
        !          1504: Pullman, Washington 99164-1210
        !          1505: email: [email protected]
        !          1506: 
        !          1507: WEIZMAN INSTITUTE OF SCIENCE
        !          1508: Ehud Shapiro
        !          1509: The Weizmann Institute of Science
        !          1510: Rehovot 76100
        !          1511: Israel
        !          1512: email: [email protected]
        !          1513: 
        !          1514: WILLIAMS COLLEGE
        !          1515: Tom Murtagh (Kim B. Bruce)
        !          1516: Department of Computer Science
        !          1517: Bronfman Science Center
        !          1518: Williams College
        !          1519: Williamstown, MA 01267
        !          1520: phone: (413) 597-2273
        !          1521: email: [email protected], [email protected]
        !          1522: 
        !          1523: YALE UNIVERSITY
        !          1524: Young-il Choo
        !          1525: Yale University
        !          1526: Dept of Computer Science
        !          1527: P.O. Box 2158 Yale Station
        !          1528: New Haven, CT 06520
        !          1529: phone: (203) 432-4099
        !          1530: email: [email protected]
        !          1531: FTP
        !          1532: 
        !          1533: XEROX PALO ALTO RESEARCH CENTER
        !          1534: Pavel Curtis
        !          1535: Xerox Palo Alto Research Center
        !          1536: 3333 Coyote Hill Road
        !          1537: Palo Alto, California 94304
        !          1538: email: [email protected]
        !          1539: 

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.