Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Categorical Logic in Computer Science II

Von 1992-10-01 bis 1995-09-30

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
CHALMERS UNIVERSITY OF TECHNOLOGY
Sweden
41296 GOETEBORG
Sweden
Administrative Kontaktangaben: Peter DYBJER
Tel.: +46-31721035
Fax: +46-31822029
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-2241-142440
Fax: +49-2241-142035
E-Mail-Adresse
TECHNISCHE HOCHSCHULE DARMSTADT
Germany
Alexanderstraße 24
64283 DARMSTADT
Germany
See on map
Administrative Kontaktangaben: Klaus KEIMEL
Tel.: +49-6151-162215
Fax: +49-6151-164011
E-Mail-Adresse
UNIVERSITY OF GENOVA
Italy
Via Dodecaneso 35
16146 GENOVA
Italy
See on map
Administrative Kontaktangaben: Eugenio MOGGI
Tel.: +39-10-3538026
Fax: +39-10-3538028
E-Mail-Adresse
UNIVERSITY OF SUSSEX
United Kingdom
FALMER
BN1 9QT BRIGHTON
United Kingdom
Administrative Kontaktangaben: Edmund ROBINSON
Tel.: +44-273-606755
Fax: +44-273-678188
E-Mail-Adresse
University of Cambridge
United Kingdom
Free School Lane
CB2 3RF Cambridge
United Kingdom
See on map
Administrative Kontaktangaben: Andrew PITTS
Tel.: +44-223-334629
Fax: +44-223-334678
E-Mail-Adresse
University of Manchester
United Kingdom
Oxford Road
M13 9PL Manchester
United Kingdom
See on map
Administrative Kontaktangaben: David RYDENHEARD
Tel.: +44-61-2756164
Fax: +44-61-2756280
E-Mail-Adresse
École Normale Supérieure de Paris
France
45 rue d'Ulm
75005 Paris
France
See on map
Administrative Kontaktangaben: Pierre-Louis CURIEN
Tel.: +33-1-44322063
Fax: +33-1-44322080
E-Mail-Adresse
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben