Clifford Lectures 2002
March 20 - 23, 2002
Tulane University - New Orleans, Louisiana
Participants
 
Samson Abramsky Oxford University Computer Laboratory 
Wolfson Building 
Parks Road 
Oxford OX1 3QD UNITED KINGDOM 
Samson.Abramsky@comlab.ox.ac.uk
Sergei Artemov The Graduate Center 
CUNY 
New York, NY  10016 
Sartemov@gc.cuny.edu
Andrej Bauer IMFM  
Jadranska 19   
1000 Ljubjana, SLOVENIA   
from_mfps@andrej.com
Henk Barendregt University of Nijmegen 
6500 HC Nijmegen 
The Netherlands 
henk@cs.kun.nl
Samuel Buss Department of Mathematics 
University of California, San Diego 
LaJolia, CA  92093-0112 
sbuss@ucsd.edu
Bob Coecke Oxford University Computing Laboratory   
Wolfson Building   
Parks Road   
OX1 RWD,  UNITED KINGDOM   
coecke@comlab.ox.ac.uk
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
Nachum Dershowitz School of Computer Science 
Tel Aviv University 
Ramat Aviv. Tel Aviv 69976,  ISREAL 
nachum@tau.ac.il
Yuri Gurevich Microsoft Research 
gureviCh@microsoft.com
Manuel Grau Department of Philosophy
Tulane Unviersity
New Orleans, LA  70118
mgrau@tulane.edu
Joshua Guttman MITRE, Mail Stop S119 
202 Burlington Rd. 
Bedford, MA  01730-1420 
guttman@mitre.org
Juris Hartmanis 324 Brookfield Rd. 
Ithaca, NY  14850 
jh@cs.cornell.edu
Mercedes Hidalgo-Herrero Departamento de Didactica de las Matematicas   
Faculitad de Educacion   
Universidad Complutese de Madrid   
28040 Madrid, SPAIN   
mhidalgo@edu.ucm.es
Karl H. Hofmann Fachbereich Mathematik 
Technische Hochschule 
Schlossgartenstr. 7 
D-64289 Darmstadt, Germany 
hofmann@mathematik.th-darmstadt.de 
Yoshiki Kinoshita C.R.T. of Informatics   
AIST3-11-46 Nakoji Amagasaki-shi   
Hyogo 661-0974  JAPAN   
yoshiki@ni.aist.go.jp
Kozen, Dexter Computer Science Department 
Upson Hall 
Cornell University 
Ithaca, NY  14853-7501 
kozen@cs.cornell.edu
Ranko Lazic Department of Computer Sicence  
Univiersity of Warwick  
Coventry CV4 7AL,  UNITED KINGDOM 
Ranko.Lazic@dcs.warwick.ac.uk
Paul Levy Universite Denis Diderot   
Case 7014   
1 Place Jussieu   
72521 Paris Cedes 05,  FRANCE   
Paul.Levy@pps.jussieu.fr
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
Joel Ouaknine Department of Mathematics   
Tulane University   
New Orleans, LA  70118   
joelo@math.tulane.edu
Rohit Parikh 2129 Ingersoll 
Brooklyn College 
2900 Bedford Avenue 
Brooklyn, NY  11210 
RIPBC@CUNYVM.CUNY.EDU
Dusko Pavlovic Kestrel Institute 
260 Hillview Avenue 
Palo Alto, California 94034 
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
Gordon Plotkin Laboratory for Foundations of COmputer Science   
University of Edinburgh   
The King's Building   
Edinburgh, EH9 3JZ,  SCOTLAND 
gdp@dcs.ed.ac.uk
James S. Royer Department of Electrical Engineering and Computer Sciences   
Syracuse University   
Syracuse, NY  13244   
royer@ecs.syr.edu
Helmut Schwichtenberg Mathematisches Institut de Universitaet Muenchen 
Theresienstr. 39 
D-80333, Muenchen, GERMANY 
schwicht@mathematik.uni-muenchen.de
Dana S. Scott Department of Computer Science   
Carnegie Mellon University   
Pittsburgh, PA  15213   
dana.scott@cs.cmu.edu
Moshe Vardi Moshe Vardi 
Department of Computer Science 
Rice University 
6100 S. Main Street 
Mail Stop 132 
Houston, TX  77005-1892 
vardi@cs.rice.edu
James Worrell Department of Mathematics  
Tulane University  
6823 St. Charles Ave.  
New Orleans, LA  70118  
jbw@math.tulane.edu
Guo-Qiang Zhang Department of EECS 
Olin 413, CWRU 
10900 Euclid Avenue 
Cleveland, HO  44106 
gqz@eecs.cwru.edu