| Samson Abramsky | Oxford University Computer Laboratory
Wolfson Building Parks Road Oxford OX1 3QD UNITED KINGDOM Samson.Abramsky@comlab.ox.ac.uk |
| Rajeev Alur | Department of Computer Science and Information
science
University of Pennsylvania Philadelpha, PA 19104 alur@cis.upenn.edu |
| Michael Barr | Department of Mathematics and Statistics
805 Sherbrooke St., W. Montreal, Quebec H3A 2KG, CANADA barr@barrs.org |
| Andrej Bauer | IMFM
Jadranska 19 1000 Ljubjana, SLOVENIA from_mfps@andrej.com |
| Steve Brookes | Department of Computer Science
Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213 brookes@cs.cmu.edu |
| Luis Caires | Faculdade de Ciencias e tecnologia
Universidade Nova De Lisboa 2829-516 Monte de Caparica, PORTUGAL Luis.Caires@di.fct.uni.pt |
| Cristiano Calcagno | Department of Computer Science
Queen Mary, University of London Mile End Road London E1 4NS, UNITED KINGDOM ccris@dcs.qmul.ac.uk |
| Rohit Chadha | Department of Mathematics
University of Pennsylvania Philadelphia, PA 19104-6396 rchadha@math.upenn.edu |
| Patraick Cousot
|
Department d'informatique
Ecole Normale Superieure 45, reu d'Ulm 75230 Paris, Cedex 05, FRANCE Patrick.Cousot@ens.fr |
| Radhia Cousot | LIX - Laboratoire d'informatique
Ecole Polytechnique 91126 Palaiseau Cedex, FRANCE Radhia.Cousot@polytechnique.fr |
| Bob Coecke | Oxford University Computing Laboratory
Wolfson Building Parks Road OX1 RWD, UNITED KINGDOM coecke@comlab.ox.ac.uk |
| Luca de Alfaro | Department of Computer Engineering
Basking Engineering Building University of California Santa Cruz, CA 95064 luca@soe.ucsc.edu |
| Drew Dean | Computer Science Laboratory
333 Ravenswood Ave. Menlo Park, CA 94025 ddean@csl.sri.com |
| Brian Dunphy | Department of mathematics
1409 W. Green Street Urbana, IL 61801 dunphy@math.uiuc.edu |
| Philippa Gardner | Imperial College
University of London, Huxley Building 180 Queen's Gate London SW7 2BZ, UNITED KINGDOM pg@doc.ic.ac.uk |
| Giorgio Ghelli | Corso Italia 40
I-56127 Pisa, ITALY ghelli@di.unipi.it |
| Dan Ghica | Department of Computing and Information Science
Room 542, Goodwin Hall Queens University Kingston, Ontario, CANADA K7L 3N6 ghica@cs.queensu.ca |
| Roberto Giacobazzi | Dipartimento di Informatica
Universita' di Verona Strada Le Grazie 15 37134 Verona, ITALY giaco@sci.univr.it |
| Eric Goubault
|
DTSI/SLA
CEA/SACLAY 91191 Gifg-dur-Yvette Paris, FRANCE Eric.Goubault@cea.fr |
| John Hatcliff | Computing and Information Sciences Department
Kansas State University Manhattan, KS 66502 hatcliff@cis.ksu.edu |
| Mercedes Hidalgo-Herrero | Departamento de Didactica de las Matematicas
Faculitad de Educacion Universidad Complutese de Madrid 28040 Madrid, SPAIN mhidalgo@edu.ucm.es |
| Radha Jagadeesan | Department of Mathematics and Computer Science
Loyola University, Chicago 6525 N. Sheridan Road Chicago, IL 60626 radha@cs.luc.edu |
| Trevor Jim | 180 Park Avenue, Room D282
AT&T Florham Park, NJ 07932 trevpr@researcj/att/cp, |
| Viktor Kuncak | MIT
200 Technology Square NE43-632 Cambridge, MA 02139 vkuncak+csmfps@lcs.mit.edu |
| Yoshiki Kinoshita | C.R.T. of Informatics
AIST3-11-46 Nakoji Amagasaki-shi Hyogo 661-0974 JAPAN yoshiki@ni.aist.go.jp |
| Ranko Lazic | Department of Computer Sicence
Univiersity of Warwick Coventry CV4 7AL, UNITED KINGDOM Ranko.Lazic@dcs.warwick.ac.uk |
| Daniel Leivant | Computer Science Department
Indiana University Carmel, IN 46032 leivant@cs.indiana.edu |
| Paul Levy | Universite Denis Diderot
Case 7014 1 Place Jussieu 72521 Paris Cedes 05, FRANCE Paul.Levy@pps.jussieu.fr |
| John Mitchell | Department of Computer Science
Stanford University Stanford, CA 94305 mitchell@cs.stanford.edu |
| Catherine Meadows | Code 5543
NRL 4555 Overlook Ave., S.W. Washington, DC 20375 meadows@itd.nrl.navy.mil |
| Keye Martin | Oxford University Computer Laboratory
Wolfson Building Parks Road Oxford OX1 3QD UNITED KINGDOM Keye.Martin@comlab.ox.ac.uk |
| Michael W. Mislove | Department of Mathematics
Tulane University 6823 St. Charles Ave. New Orleans, LA 70118 mwm@math.tulane.edu |
| Kundan Misra | Department of Computer Sicnece
University of Warwick Ocventry CV4 7AL, UNITED KINDGOM kundan@dcs.warwick.ac.uk |
| Philip Mulry | Department of Computer Sicence
Colgate University Hamilton, NY 13346 pmulry@mail.colgate.edu |
| Rajagopal Nagarajan | Department of Computer Science
University of Warwick Coventry CV4 7AL, UNITED KINGDOM biju@dcs.warwick.ac.uk |
| Peter O'Hearn | Department of Computer Science
Queen Mary University of London London E1 4NS, UNITED KINGDOM ohearn@dcs.qmul.ac.uk |
| Joel Ouaknine | Department of Mathematics
Tulane University New Orleans, LA 70118 joelo@math.tulane.edu |
| Jens Palsberg | Department of Computer Science
Purdue University W. Lafayette, IN 47907 palsberg@cs.purdue.edu |
| Prakash Panangaden | School of Computer Science
McGill University 3480 University st., Room 318 Montreal, Quebec H3A 2A7 CANADA prakash@cs.mcgill.ca |
| Dusko Pavlovic | Kestrel Institute
260 Hillview Avenue Palo Alto, California 94304 dusko@kestrel.edu |
| John Power | Laboratory for the Foundations of Computer Science
King's Buildings University of Edinburgh Edinburgh, SCOTLAND EH9 3JZ ajp@dcs.edu.ac.uk |
| David Pym | Department of Computer Science
University of Bath Cleaverton Down Bath BA2 7AY, England, UNITED KINGDOM d.j.pym@bath.ac.uk |
| Gordon Plotkin | Laboratory for Foundations of COmputer Science
University of Edinburgh The King's Building Edinburgh, EH9 3JZ, SCOTLAND gdp@dcs.ed.ac.uk |
| Mike Reed | Oxford University Computer Laboratory
Wolfson Building Parks Road Oxford OX1 3QD UNITED KINGDOM Mike.Reed@comlab.ox.ac.uk |
| Bill Rounds | University of Michigan
Al Laboratory 1101 Beal Ave. Ann Arbor, MI 48109 rounds@umich.edu |
| John C. Reynolds | Department of Computer Science
Carnegie Mellon University 5000 Forbes Ave. Pittsburgh, PA 15231 john.reynolds@cs.cmu.edu |
| Francesco Ranzato | University of Padova
35131 Padova, ITALY franz@math.unipd.it |
| Uday S. Reddy | School of Computer Science
University of Birmingham Edgbaston Birminghan B15 2TT, UNITED KINGDOM U.Reddy@cs.bhamm.ac.uk |
| Martin Rinard | MIT
Lab for Computer Science 545 Technology Square, NE43-620A Cambridge, MA 02139 rinard@lcs.mit.edu |
| James S. Royer | Department of Electrical Engineering and Computer Sciences
Syracuse University Syracuse, NY 13244 royer@ecs.syr.edu |
| Alexandru Salcianu | MIT
200 Technology Square Cambridge, MA 02139 saleianu@mit.edu |
| Andre Scedrov | Department of Mathematics
University of Pennsylvania 209 South 33rd St. Philadelphia, PA 19104-6395 scedrov@cis.upenn.edu |
| David Schmidt | Department of Computing and Information Sciences
234 Nichols Hall Manhattan, KS 66506 schmidt@cis.ksu.edu |
| Dana S. Scott | Department of Computer Science
Carnegie Mellon University Pittsburgh, PA 15213 dana.scott@cs.cmu.edu |
| Doug Smith | Kestrel Institute
3260 Hillview Ave. Palo Alto, CA 49304 smith@kestrel.edu |
| Hosung Song | University of Michigan
Ann Arbor, MI 48105 hosungs@umich.edu |
| Bob Tennent | Computing Science
Queen's University Kingston, Ontario, CANADA K7L 3N6 rdt@cs.queensu.ca |
| Dan Wallach | Computer Science Department
Rice University Houston, TX 77005 dwallach@cs.rice.edu |
| James Worrell | Department of Mathematics
Tulane University 6823 St. Charles Ave. New Orleans, LA 70118 jbw@math.tulane.edu |
| Krzysztof Worykiewicz | Laboratoire de Teleinformatique
EPFL Ecublens CH-1015 Lausanne, SWITZERLAND worytkie@di.epft.ch |
| Rebecca Wright | 155 Charles St.
New York, NY 10014 rwright@kiskeya.net |
| Guo-Qiang Zhang | Department of EECS
Olin 413, CWRU 10900 Euclid Avenue Cleveland, HO 44106 gqz@eecs.cwru.edu |