|
Professor Dov M. Gabbay
August De Morgan Professor of Logic
Room 22C
King's College
Strand
London WC2R 2LS
UK
|
Phone: -
2930
Fax :
eMail:
|
|
Professor dr Johan van Benthem
Institute for Logic
Language and Computation
Plantage Muidergracht 24
1018 TV Amsterdam
NETHERLANDS
|
Phone: -
6051
Fax:
eMail:
|
|
Thorsten Bohnenberger
Deutsches Forschungszentrum
für
Künstliche Intelligenz GmbH
Im Stadtwald, Geb. 36
66123 Saarbrücken
GERMANY
|
Phone: -
5322
Fax:
eMail:
|
|
Gundula Kleiner
Deutsches Forschungszentrum
für
Künstliche Intelligenz GmbH
Im Stadtwald, Geb. 36
66123 Saarbrücken
GERMANY
|
Phone:
-5322
Fax:
eMail: /
|
|
Professor John Lloyd
Computer Sciences
Laboratory
Research School of Information Sciences and Engineering
Australian National University
Canberra ACT 0200
USA
|
Phone:
Fax :
eMail: /
|
|
Dr. David Pearce
Deutsches Forschungszentrum
für
Künstliche Intelligenz GmbH
Im Stadtwald, Geb. 36
66123 Saarbrücken
GERMANY
|
Phone: -
5322
Fax:
eMail:
|
|
Professor Dr. Jörg H. Siekmann
Deutsches Forschungszentrum
für
Kuenstliche Intelligenz GmbH
Im Stadtwald, Geb. 36
66123 Saarbruecken
GERMANY
|
Phone: -
5275
Fax:
eMail:
|
|
Professor Dana Scott
Carnegie Mellon University
Mathematical Sciences Department
Wean Hall 4606
PA Pittsburgh
USA
|
Phone:
Fax :
eMail:
|
|
Professor Moshe Vardi
Rice University
6100 S. Main St.
TX Houston
USA
|
EMail:
|
|
Professor Graham Wrightson
The University of Newcastle
Department of Computer Science
NSW 2308 Newcastle
AUSTRALIA
|
Phone: -
6036
Fax :
Mobil:
eMail:
|
|
Professor Samson Abramsky
University of Edinburgh
Department of Computer Science
James Clerk Maxwell Building
Edinburgh EH9 3JZ
UK
|
Phone: -
5174
eMail:
|
|
Professor dr Krzysztof Apt
CWI
Kruislaan 413
NL-1098 SJ Amsterdam
NETHERLANDS
|
Phone: -
4135
Fax :
eMail:
|
|
Professor dr Marc Bezem
Department of Philosophy
Utrecht University
Heidelberglaan 8
PO Box 80126
3508 TC Utrecht
NETHERLANDS
|
Phone:
Fax:
EMail:
|
|
Professor Dr. Bruno Buchberger
Johannes Kepler
Universität
Research Institute for Symbolic Computation
A4232 Schloss Hagenberg
AUSTRIA
|
Phone:
Fax :
eMail:
|
|
Professor Edmund Clarke
Carnegie Mellon University
Computer Science
500 Forbes Ave.
PA Pittsburgh
USA
|
Phone:
eMail:
|
|
Professor Tony Cohn
University of Leeds
School of Computer Studies
LS2 9 JT Leeds
UK
|
Phone:
Fax :
eMail:
|
|
Professor Jens Fenstad
University of Oslo
Department of Mathematics
P. O. Box 1053 Blindern
N - 0316 Oslo 3
NORWAY
|
Phone:
Fax:
eMail:
|
|
Professor Dr. Ulrich Furbach
Universität Koblenz-Landau
Institut für Informatik
Rheinau 1
56075 Koblenz
GERMANY
|
Phone:
Fax :
eMail:
|
|
Dr. Koichi Furukawa
Graduate School of Media
and Governance
Keio University
5322 Endoh, Fujisawa-shi
JAPAN
|
Phone: Ext
3235
Fax:
eMail:
|
|
Professor Dr. Georg Gottlob
Institute of Information
Systems
TU Vienna
Paniglgasse 16
1040 Vienna
AUSTRIA
|
Phone: x18420
x58420
eMail:
|
|
Professor Deepak Kapur
University of New Mexico
Department of Computer Science
Farris Eng. Center # 339
NM 87131 Albuquerque
USA
|
Phone: -
3112
Fax :
eMail:
|
|
Dr. Claude Kirchner
LORIA & INRIA
Campus scientifique
615, rue du Jardin Botanique
BP101
54602 Villers-les-Nancy CEDEX
FRANCE
|
Phone: or
54
Fax :
eMail:
|
|
Professor Donald A. Martin
ULCA
Department of Math
405 Hilgard Ave.
Box 951361
CA Los Angeles
USA
|
Phone:
Phone:
emMail:
|
|
Professor John C. Mitchell
Department of Computer
Science
Stanford University
CA 94305 Stanford
USA
|
eMail:
|
|
Professor Dr. Tobias Nipkow
Technische Universität
München
Institut für Informatik
Arcisstr. 21
80290 München
GERMANY
|
Phone:
Fax :
eMail:
|
|
Professor Erik Sandewall
Linkoeping University
Dept of Computer and Information Science
58183 Linkoeping
SWEDEN
|
Phone:
Fax : or
284499
eMail:
|
|
Professor Jeannette M. Wing
Associate Dean for Academic Affairs
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213
USA
|
Phone:
Fax:
eMail:
|
