Name: Martin Abadi Institution: Digital, Systems Research Center Address: 130 Lytton Ave., Palo Alto, CA 94301, USA Email: ma@pa.dec.com Fax: +650-853-2104 Name: Karen Bernstein Institution: DePaul University Address: CS&T Center, Office 462 243 South Wabash Avenue, Chicago, IL 60604 Email: kbernstein@cs.depaul.edu Fax: (312) 362-6116 Name: Dave Berry Institution Harlequin Ltd. Address: Technology Transfer Centre, King's Buildings, Mayfield Road, Edinburgh, EH9 3JL, UK. Email: daveb@harlequin.co.uk Fax: +44 131 668 1596 Tel: +44 131 472 4782 Name: Viviana Bono Institution: Universita` di Torino and Stanford University Address: Gates Building 494, Stanford CA 94305 Email: bono@theory.stanford.edu Fax: (650) 725 4671 Name: Roberto Bruni Institution: SRI/University of Pisa Address: Dipartimento di Informatica, University of Pisa Corso Italia, 40, I-56100 Pisa, Italy Email: bruni@di.unipi.it Name: Luca Cardelli Institution: Microsoft Research Ltd. Address: St. George House, 1 Guildhall Street, Cambridge CB2 3NH, UK Email: luca@luca.demon.co.uk Fax: +44 1223 744 777 Name: Iliano Cervesato Institution: Computer Science Department, Stanford University Address: Stanford, CA 94305-9045 Email: iliano@cs.stanford.edu Fax: +650-725-4671 Name: Laurent Dami Institution: CUI, Univ. of Geneva Address: 24, rue General-Dufour, 1211 Geneve 4 Email: Laurent.Dami@cui.unige.ch Fax: +41 (22) 705'77'80 Name: Cormac Flanagan Institution: Digital Systems Research Lab Address: 130 Lytton Ave, Palo Alto Email: flanagan@pa.dec.com Fax: 650 853 2104 Name: Matthew Flatt, in place of: Matthias Felleisen Institution: Rice University Address: Department of Computer Science, Rice University P.O. Box 1892, Houston, TX 77251-1892 Email: mflatt@cs.rice.edu Fax: (713) 285-5930 Name: Stephen Freund Institution: Stanford University Address: Computer Science Dept., Stanford University, Gates Bldg 4B Room 492, Stanford, CA 94305 Email: freunds@cs.stanford.edu Fax: 650-725-4671 Name: Philippa Gardner Institution: University of Cambridge Computer Laboratory Address: New Museum Site, Pembroke Street, CB2 3 QG Email: pag20@cl.cam.ac.uk Fax: +44-1223-334678 Name: Andrew D. Gordon Institution: Microsoft Research Cambridge Address: St George House, 1 Guildhall St, Cambridge CB2 3NH, UK Email: adg@microsoft.com Fax: +44 1223 744 777 Name: Paul Hankin Institution: Cambridge University Computer Lab Address: The Computer Laboratory, New Museums Site, Pembroke Street, Cambridge, CB2 3QG, ENGLAND Email: pdh13@cam.ac.uk Fax: +44 1223 334678 Name: Robert Harper Institution: Carnegie Mellon Univeristy Address: 5000 Forbes Avenue Computer Science Department Pittsburgh, PA 15213-3891 Email: rwh@cs.cmu.edu Fax: (412) 268-5575 Name: John Hatcliff Institution: Oklahoma State University Address: 219 Math Sciences, Oklahoma State University Stillwater, OK 74078 Email: hatcliff@a.cs.okstate.edu Fax: (405) 744-9097 Name: Alan Jeffrey Institution: University of Sussex Address: COGS, University of Sussex, Brighton BN1 9QH, UK Email: alanje@cogs.susx.ac.uk Fax: +44 1273 671320 Name: Soeren B. Lassen Institution: University of Cambridge Computer Laboratory Address: Pembroke Street, Cambridge CB2 3QG, UK Email: Soeren.Lassen@cl.cam.ac.uk Fax: +44 1223 334678 Name: Ugo Montanari Institution: SRI/University of Pisa Address: Dipartimento di Informatica, University of Pisa Corso Italia, 40, I-56100 Pisa, Italy Email: ugo@di.unipi.it Phone: +39 50 887221 Fax: +39 50 887226 Name: Andrew Moran Institution: Department of Computing Science Chalmers University of Technology and University of Gothenburg Address: 412 96 Gothenburg, SWEDEN Email: andrew@cs.chalmers.se Fax: +46 31 16 56 55 Name: Peter D. Mosses Institution: BRICS, Dept. of Computer Science, Univ. of Aarhus Address: Ny Munkegade bldg. 540, DK-8000 Aarhus C, Denmark Email: pdmosses@brics.dk Fax: +45 8942 3255 Name: Flemming Nielson Institution: DAIMI, Department of Computer Science, Address: Ny Munkegade, DK-8000 Aarhus C, Denmark. Email: fn@daimi.aau.dk Fax: +45 8942 3255 Name: Marco Pistore Institution: University of Pisa Address: Dipartimento di Informatica, University of Pisa Corso Italia, 40, I-56100 Pisa, Italy Email: pistore@di.unipi.it Name: Corin Pitcher Institution: Email: corin@comlab.oxford.ac.uk Name: Andrew M. Pitts Institution: Cambridge University Address: Computer Laboratory, Pembroke Street Cambridge CB2 3QG, UK Email: ap@cl.cam.ac.uk Fax: +44 1223 334678 Name: Amr Sabry Institution: University of Oregon Address: Dept of CIS, University of Oregon Email: sabry@cs.uoregon.edu Fax: (541) 346-5373 Name: David Sands Institution: Chalmers University of Technology and the University of G=F6teborg Address: S-412 96 G=F6teborg, SWEDEN Email: dave@cs.chalmers.se Fax: +46 31 16 56 55 Name: David Schmidt Institution: Kansas State University Address: Computing and Info. Sciences Dept. 234 Nichols Hall, Manhattan, KS 66506 Email: schmidt@cis.ksu.edu Fax: 785-532-7353 Name: Scott Smith Institution: Stanford University/The Johns Hopkins University Address: Gates 204 Stanford CA 94305 Email: scott@cs.stanford.edu Fax: Name: Allen Stoughton Institution: Kansas State University Address: Department of Computing and Information Sciences, 234 Nichols Hall, Manhattan, KS 66506 Email: allen@cis.ksu.edu Fax: +1 785-532-7353 Name: Greg Sullivan Institution: Harlequin, Inc. Address: One Cambridge Center, Cambridge, MA 02142 Email: gts@harlequin.com Fax: (617)252-6505 Name: Carolyn Talcott Institution: Stanford University Address: Gates 202 Stanford CA 94305 Email: clt@cs.stanford.edu Fax: 650-725-7411 Name: Glynn Winskel Institution: BRICS, Aarhus University, Denmark Address: Computer Science Dept, Aarhus University, Ny Munkegade, 8000 Aarhus C, Denmark Email: gwinskel@brics.dk Fax: +45 8942 3255