Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Tue, 19 Sep 1995 18:16:14 +0100 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA264429943; Tue, 19 Sep 1995 10:59:03 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: list Received: from jaguar.cs.byu.edu by leopard.cs.byu.edu with ESMTP (1.37.109.15/16.2) id AA264399942; Tue, 19 Sep 1995 10:59:02 -0600 From: Paul "E." Black Received: by jaguar.cs.byu.edu (1.37.109.15/CS-Client) id AA125029852; Tue, 19 Sep 1995 10:57:32 -0600 Date: Tue, 19 Sep 1995 10:57:32 -0600 Message-Id: <199509191657.AA125029852@jaguar.cs.byu.edu> To: info-hol@leopard.cs.byu.edu Subject: HOL95 list of participants Mark Aagaard University of British Columbia +1 208 325 8220 aagaard@cs.ubc.ca Sten Agerholm University of Aarhus sas@daimi.aau.dk Jim Alves-Foss University of Idaho +1 208 885 7232 jimaf@cs.uidaho.edu Flemming Andersen Tele Danmark Research +45 45 766 444 fa@tdr.dk Myla Archer Naval Research Laboratory +1 202 404 6304 archer@itd.nrl.navy.mil Clark Barrett Brigham Young University +1 801 378 8113 barrett@lal.cs.byu.edu Robert Beers Brigham Young University +1 801 378 8113 beers@cs.byu.edu Rosina Bignall Brigham Young University +1 801 378 8113 bigna@cs.byu.edu Paul E. Black Brigham Young University +1 801 378 8113 p.black@ieee.org Richard J. Boulton University of Cambridge +44 1223 334729 Richard.Boulton@cl.cam.ac.uk Steve Brackin, Ph.D Arca Systems, Inc. +1 607 277 2739 brackin@arca.va.com Annette Bunker Brigham Young University +1 801 378 8113 bunker@cs.byu.edu Holger Busch Siemens AG +49 89 636 44307 holger.busch@zfe.siemens.de Victor A. Carreno NASA Langley Research Center +1 804 864 6184 v.a.carreno@larc.nasa.gov Shiu-Kai Chin Syracuse University +1 315 443 3776 chin@cat.syr.edu Graham Collins University of Glasgow +44 141 339 8855 ext 8009 grmc@dcs.gla.ac.uk Francisco Corella Hewlett-Packard +1 916 785 3504 fcorella@hprpcd.rose.hp.com Paul Curzon University of Cambridge +44 1223 334688 pc@cl.cam.ac.uk Mamoun Filali-Amine IRIT UPS France +33 61 55 69 26 filali@irit.fr Ganesh Gopalakrishnan University of Utah +1 801 581 3568 ganesh@cs.utah.edu Joshua Guttman The MITRE Corporation +1 617 271 2654 guttman@mitre.org Kelly Hall Brigham Young University +1 801 378 8113 hall@cs.byu.edu John Harrison Abo Akademi University +358 21 2654674 jharriso@ra.abo.fi Dr. Peter Vincent Homeier +1 818 501 7689 homeier@cs.ucla.edu Leanne Isaac Brigham Young University +1 801 378 8113 isaacl@cs.byu.edu Jang Dae Kim Syracuse University +1 315 682 6881 jdkim@cat.syr.edu Mike Jones Brigham Young University +1 801 378 8113 jones@cs.byu.edu Sara Kalvala Warwick University +44 1203 52 3179 sk@dcs.warwick.ac.uk Dr. Ramayya Kumar Forschungszentrum Informatik, Karlsruhe +49 721 9654 419 kumar@fzi.de Robert Laggart Boeing laggart@mirage.boeing.com Thomas Langbacka Abo Akademi University langback@aton.abo.fi Trent Larson Brigham Young University +1 801 378 8113 tnlarson@cs.byu.edu Mats Larsson Linkoping University +46 13 281819 matla@ida.liu.se Paul Loewenstein Sun Microsystems Computer Company +1 415 786 6015 Paul.Loewenstein@Eng.sun.com Scott McCosh Brigham Young University +1 801 378 8113 mccosh@cs.byu.edu Jon Meilstrup Brigham Young University +1 801 378 8113 jam@cs.byu.edu Dr. Tom Melham University of Glasgow +44 141 330 4967 tfm@dcs.gla.ac.uk Ratan Nalumasu University of Utah +1 801 581 4710 ratan@cs.utah.edu Malcolm C. Newey Australian National University +61 6 249 4506 mcn@cs.anu.edu.au Shin-ya Nishizaki Okayama University +81 86 256 8833 ext. 454 sin@momo.it.okayama-u.ac.jp Ait-Mohamed Otmane INRIA Lorraine +33 83 59 20 23 amohamed@loria.fr Lt. Col. Donna E. Peterson U.S. Air Force Academy +1 719 472 3841 petersonde%dfee@dfmail.usafa.af.mil Ralf Reetz University of Karlsruhe +49 721 6084220 reetz@ira.uka.de Franz Regensburger Technical University Munich +49 89 2105 8194 regensbu@informatik.tu-muenchen.de Fay Saydjari U.S. Department of Defense ffs@tycho.ncsc.mil Tom Schubert Portland State University +1 502 725 5491 schubert@cs.pdx.edu Angela Stratton Brigham Young University +1 801 378 8113 angela@cs.byu.edu Donald Syme University of Cambridge +44 1223 334688 Donald.Syme@cl.cam.ac.uk Sofiene Tahar University of Montreal +1 514 343 6111 ext. 3502 tahar@iro.umontreal.ca John Van Tassel U.S. Department of Defense +1 301 688-0748 jvt@tycho.ncsc.mil Morten Welinder University of Copenhagen +45 35321818 terra@diku.dk Phil Windley Brigham Young University +1 801 378 3722 windley@cs.byu.edu Wai Wong Hong Kong Baptist University +852 2339 7082 wwong@comp.hkbu.edu.hk Mitsuharu Yamamoto The University of Tokyo +81 3 3812 4177 mituharu@is.s.u-tokyo.ac.jp Cui Zhang UC Davis +1 916 752 6468 zhang@cs.ucdavis.edu