The International Federation of Computational Logic IFCoLog is supported and coordinated
by the Compulog Net Office at DFKI, Saarbrücken

Contacts

IFCoLog
Join the IFCoLog Mailing List
 
 
   
 
IFCoLog Main Page


Mail-aliases and Mailing-lists


  • for general questions concerning IFCoLog

  • for questions concerning the IFCoLog Web-Pages

  • to reach all members of the IFCoLog Assembly

  • to reach all members of the IFCoLog Board

  • to reach all members of the IFCoLog Executive Council

  • to reach all people of the above mailing lists and aliases

  • to reach people of the friends mailing lists. (You can join this list by clicking in the menu above of this page

THE EXECUTIVE COUNCIL
 
       President: Dana Scott 
       Vice-President: Dov Gabbay 
       Vice-President: Moshe Vardi 
       Vice-President: John Lloyd 
       Vice-President: Johan van Benthem 
       Vice-President: Jörg Siekmann 
       Chief Executive Officer: Graham Wrightson 
       Coordinator Compulog Net: David Pearce 
       Public Relations Officer: Thorsten Bohnenberger 
       Secretary (halftime): Gundula Kleiner 

 
 
THE BOARD

       Samson Abramsky 
       Krzysztof Apt 
       Marc Bezem 
       Bruno Buchberger 
       Edmund Clarke 
       Tony Cohn 
       Jens Erik Fenstad 
       Ulrich Furbach 
       Koichi Furukawa 
       Georg Gottlob 
       Deepak Kapur 
       Claude Kirchner 
       Donald Martin 
       John Mitchell 
       Tobias Nipkow 
       Erik Sandewall 
       Jeannette Wing 

The Executive Council

 

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:

 

 

The Board

 

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:

 

IFCoLog | DFKI Saarbrücken Articles catalogue