Community Research and Development Information Service - CORDIS

Computational Logic

From 1989-04-01 to 1992-03-31

Project details

Total cost:

Not available

EU contribution:

Not available

Coordinated in:

United Kingdom

Objective

Coordinator

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Administrative contact: Robert KOWALSKI
Tel.: +44-71-5895111
Fax: +44-71-5891552
E-mail

Participants

ADER
France
118 rue Edmond Rostand
13006 Marseille
France
See on map
Administrative contact: Alain COLMERAUER
Tel.: +33-91269071
Fax: +33-91269275
E-mail
EUROPEAN COMPUTER IRC
Germany
ARABELLASTRAßE 17
81925 München
Germany
See on map
Administrative contact: Jean Marie NICOLAS
Tel.: +49-89-92699110
Fax: +49-89-92699170
KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium
CELESTIJNENLAAN, 200D
3030 HEVERLEE
Belgium
See on map
Administrative contact: Maurice BRUYNOOGHE
Tel.: +32-16-200656
Fax: +32-16-205308
E-mail
RHEINISCH-WESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN (RWTH)
Germany
ROLANDSTRAßE 7-9
52070 AACHEN
Germany
See on map
Administrative contact: Matthias JARKE
Tel.: +49-
Fax: +49-
TECHNISCHE UNIVERSITAET KAISERSLAUTERN
Germany
Erwin Schroedinger Strasse 46
67663 KAISERSLAUTERN
Germany
See on map
Administrative contact: SIEKMANN
Tel.: +49-681-3025275
Fax: +49-681-3025341
UNIVERSIDAD NOVA DE LISBOA
Portugal
QUINTA DA TORRE
2825 MONTE DA CAPARICA
Portugal
Administrative contact: Luis MONIZ PEREIRA
Tel.: +351-1-2953220
Fax: +351-1-2955641
E-mail
UNIVERSITY OF EDINBURGH
United Kingdom
OLD COLLEGE, SOUTH BRIDGE
EH8 9YL EDINBURGH
United Kingdom
See on map
Administrative contact: Alan BUNDY
Tel.: +44-31-6502716
Fax: +44-31-6506516
E-mail
UNIVERSITÄT PASSAU
Germany
INNSTRAßE 33
94032 PASSAU
Germany
See on map
Administrative contact: Matthias JARKE
Tel.: +49-
Fax: +49-
UNIVERSITÄT TÜBINGEN
Germany
AUF DER MORGENSTELLE 10C9
72076 TÜBINGEN
Germany
See on map
Administrative contact: Rudiger LOOS
Tel.: +49-
Fax: +49-
University of Bristol
United Kingdom
Tyndall Avenue
BS8 1TH Bristol
United Kingdom
See on map
Administrative contact: John LLOYD
Tel.: +44-272-303913
Fax: +44-272-251154
E-mail
University of Uppsala
Sweden
75121 Uppsala
Sweden
Administrative contact: Sten-Ake TARNLUND
Tel.: +46-18-181040
Fax: +46-18-512270
Università degli Studi di Pisa
Italy
Lungarno Pacinotti 43
56100 Pisa
Italy
See on map
Administrative contact: Franco TURINI
Tel.: +39-50-510523
Fax: +39-50-510226
E-mail
Università degli Studi di Roma 'La Sapienza'
Italy
Via Eudossiana 18
00184 Roma
Italy
See on map
Administrative contact: N/A
Université d'Aix-Marseille II
France
ROUTE LEON LACHAMP LUMINY
13288 MARSEILLE
France
Administrative contact: Alain COLMERAUER
Tel.: +33-91269071
Fax: +33-91269275
E-mail
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top