Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Categorical Logic in Computer Science

Von 1989-10-01 bis 1992-03-31

Projektdetails

Gesamtkosten:

Nicht verfügbar

EU-Beitrag:

Nicht verfügbar

Koordiniert in:

United Kingdom

Ziel

Koordinator

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Administrative Kontaktangaben: Samson ABRAMSKY
Tel.: +44-71-5895111
Fax: +44-71-5818024
E-Mail-Adresse

Teilnehmer

AARHUS UNIVERSITET
Denmark
NORDRE RINGGADE, 1
8000 AARHUS
Denmark
See on map
Administrative Kontaktangaben: Glynn WINSKEL
Tel.: +45-4586127188
Fax: +45-4586135725
E-Mail-Adresse
Centre National de la Recherche Scientifique (CNRS)
France
1919 route de Mende
34405 Montpellier
France
See on map
Administrative Kontaktangaben: Pierre-Louis CURIEN
Tel.: +33-1-44322063
Fax: +33-1-44322080
E-Mail-Adresse
Gesellschaft für Mathematik und Datenverarbeitung mbH
Germany
Schloß Birlinghoven
53754 Sankt Augustin
Germany
See on map
Administrative Kontaktangaben: Axel POIGNE
Tel.: +49-2241142440
Fax: +49-2241142516
E-Mail-Adresse
Institut National de Recherche en Informatique et en Automatique - INRIA
France
Domaine de Voluceau-Rocquencourt
78153 Le Chesnay
France
See on map
Administrative Kontaktangaben: T COQUAND
Tel.: +33-
Fax: +33-
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
United Kingdom
Wilberforce Road
CB3 0WB CAMBRIDGE
United Kingdom
See on map
Administrative Kontaktangaben: WILLITS
Tel.: +44-223-332219
Fax: +44-
Università degli Studi di Parma
Italy
Via Università 12
43100 Parma
Italy
See on map
Administrative Kontaktangaben: ROSOLINI
Tel.: +39-521-205300
Fax: +39-521-205350
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben