![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to users CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10no / cmd / sml / doc|
Return to users CVS log | Up to [Research Unix] / researchv10no / cmd / sml / doc |
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.