APPENDICES A Participants Mack Alford Bernard Carre Ascent Logic Corporation (Southampton University) 180 Rose Orchard Way, Suite 200 Program Validation Ltd. San Jose, CA 95134, USA 26 Queen's Terrace ( 408) 943-0630 Southampton SOl lBQ UK J. Dave Andrews 011-44 703-330001 Andyne Computing Limited 544 Princess Street, Suite 202 Greg Chisholm Kingston, Ontario K7L 1C7 Argonne National Laboratory Canada EBR-11 Project (613) 548-4355 9700 S. Cass A venue Argonne, IL 60439, USA Kurt Asmis (708) 972-6815 Atomic Energy Control Board
[email protected] 270 Albert Street Ottawa, Ontario KIP 5S9 Dan Craigen Canada Odyssey Research Associates 265 Carling Avenue, Suite 506 Graham Birtwistle Ottawa, Ontario IGS 2El 2500 University Drive Canada Computer Science Department (613) 238-7900 University of Calgary
[email protected] Calgary, Alberta T2N 1N4 Canada John Gannon ( 403) 220-6055 National Science Foundation graham@cpsc. ucalgary.ca Room 401 1800 G Street, NW Robin Bloomfield Washington, DC 20550, USA Adelard 28 Rhondda Grove Susan Gerhart London E35AP, UK MCC, Software Technology Program (44) 1 318 7579 3500 West Balcones Center Drive
[email protected]. uk (internet) Austin, TX 78759, USA gerhart%
[email protected] Ricky W. Butler Mail Stop 130 Norm Glick NASA, Langley Research Center National Security Agency Hampton, VA 23665 9800 Savage Road USA Fort George Meade, MD 20755-6000 USA Martine Calve (310) 688-8448 Communications Security norm@cs. umd.edu Establishment P.O. Box 9703, Terminal Ottawa, Ontario KlG 3Z4 Canada 102 Joseph Goguen Keith Hanna Programming Research Group University of Kent University of Oxford Electronic Engineering Department 8-11 Keble Road Canterbury, Kent CT2 7NT, UK Oxford, OXl 3QD, UK 0227-764000 (865) 54328
[email protected] (internet)
[email protected].