|
|
- Krzysztof R. Apt
(Program Development and Verification)
CWI
Kruislaan 413
1098 SJ Amsterdam
The Netherlands
k.r.apt@cwi.nl
- Chitta Baral
(Nonmonotonic Reasoning and
Answer Sets)
Department of Computer Science and Engineering
Ira A. Fulton School of Engineering
Brickyard Suite 572, 699 S. Mill Avenue
Tempe, AZ 85281-8809
USA
chitta@asu.edu
- Johan van Benthem
(Modal Logic, Epistemic Logic, Dynamic Logic, Logic and Games)
Institute for Logic, Language and Computation (ILLC)
University of Amsterdam
Plantage Muidergracht 24, 1018 TV Amsterdam
The Netherlands
johan@science.uva.nl
- Samuel R. Buss
(Logical Aspects of Computational Complexity)
Department of Mathematics
University of California, San Diego
La Jolla, CA 92093-0112
USA
sbuss@ucsd.edu
- Ernest Davis
(Logical Aspects of Knowledge Representation; Logic of
Geometry, Physics, and Other Commonsense Domains)
Department of Computer Science
New York University
251 Mercer St.
New York, NY 10012
USA
davise@courant.nyu.edu
- Dale Miller (Proof Theory)
Dale Miller
Laboratoire d'Informatique, LIX
Ecole Polytechnique
F-91128 PALAISEAU Cedex
France
dale@lix.polytechnique.fr
- John C. Mitchell (Computer Security)
Department of Computer Science
Stanford University
Stanford CA 94305-9045
USA
mitchell@cs.stanford.edu
- Carroll
Morgan (Program Specification)
Department of Computer Science and Engineering, K17
The University of New South Wales
Sydney, NSW 2052
Australia
carrollm@cse.unsw.edu.au
- Stephen Muggleton (Logic
and Machine Learning)
Department of Computing
Imperial College of Science, Technology and Medicine
180 Queen's Gate
London SW7 2BZ
United Kingdom
s.muggleton@doc.ic.ac.uk
- Tobias Nipkow (Automated
Verification)
Institut für Informatik
Technische Universität München
80290 München
Germany
nipkow@in.tum.de
- Leszek Pacholski
(Finite Model Theory and Complexity of Logical Theories)
Instytut Informatyki
Uniwersytet Wroclawski
Przesmyckiego 20
51-151 Wroclaw
Poland
pacholsk@tcs.uni.wroc.pl
- David A. Plaisted (Automated
Deduction and Term Rewriting Systems)
Department of Computer Science
CB# 3175, 352 Sitterson Hall
University of North Carolina at Chapel Hill
Chapel Hill, North Carolina 27599-3175
USA
plaisted@cs.unc.edu
- Gordon D. Plotkin (Type Theory and Logical Frameworks)
Division of Informatics
University of Edinburgh
James Clerk Maxwell Building
King's Buildings
Edinburgh, EH9 3JZ
United Kingdom
gdp@inf.ed.ac.uk
- Henri Prade
(Logics of Uncertainty)
Institut de Recherche en Informatique de Toulouse (IRIT)
Universite Paul Sabatier
Bat. 1R3
118 route de Narbonne
31062 Toulouse Cedex 4
France
Henri.Prade@irit.fr
- Simona
Ronchi Della Rocca (Functional Programming and Lambda Calculus)
Department of Computer Science
University of Torino
Corso Svizzera 185
10149 Torino
Italy
ronchi@di.unito.it
- Danny De Schreye (Logic Programming)
Department Of Computer Science
Katholieke Universiteit Leuven
Celestijnenlaan 200 A
3001 Heverlee
Belgium
Danny.DeSchreye@cs.kuleuven.ac.be
- Lenhart K. Schubert
(Logical Aspects of Computational Linguistics and Computational Semantics)
Computer Science Department
University of Rochester
Rochester, NY 14627-0226
USA
schubert@cs.rochester.edu
- Prasad Sistla
(Model Checking and Formal Methods)
Department of Computer Sciences
University of Illinois at Chicago
851 S. Morgan (m/c 152)
Chicago, IL 60607
USA
sistla@cs.uic.edu
- Scott A. Smolka (Concurrency
Calculi and Tools)
Department of Computer Science
State University of New York at Stony Brook
Stony Brook, NY 11794-4400
USA
sas@cs.sunysb.edu
- Wolfgang Thomas (Automata and Temporal Logic)
RWTH Aachen
Lehrstuhl für Informatik VII
Ahornstr. 55
D-52056 Aachen
Germany
thomas@informatik.rwth-aachen.de
- Pascal Van Hentenryck
(Constraint Programming)
Department of Computer Science
Brown University, P.O. Box 1910
Providence, RI 02912
USA
pvh@cs.brown.edu
- Victor Vianu (Logical
Aspects of Databases)
CSE 0114
U.C. San Diego
La Jolla, CA 92093-0114
USA
vianu@cs.ucsd.edu
|