Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

Categorical Logic in Computer Science II

Desde 1992-10-01 hasta 1995-09-30

Detalles del proyecto

Coste total:

No disponible

Aportación de la UE:

No disponible

Coordinado en:

United Kingdom

Objetivo

Coordinador

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Contacto administrativo: Samson ABRAMSKY
Tel.: +44-71-5895111
Fax: +44-71-5818024
Correo electrónico

Participantes

AARHUS UNIVERSITET
Denmark
NORDRE RINGGADE, 1
8000 AARHUS
Denmark
See on map
Contacto administrativo: Glynn WINSKEL
Tel.: +45-4586127188
Fax: +45-4586135725
Correo electrónico
CHALMERS UNIVERSITY OF TECHNOLOGY
Sweden
41296 GOETEBORG
Sweden
Contacto administrativo: Peter DYBJER
Tel.: +46-31721035
Fax: +46-31822029
Correo electrónico
Gesellschaft für Mathematik und Datenverarbeitung mbH
Germany
Schloß Birlinghoven
53754 Sankt Augustin
Germany
See on map
Contacto administrativo: Axel POIGNE
Tel.: +49-2241-142440
Fax: +49-2241-142035
Correo electrónico
TECHNISCHE HOCHSCHULE DARMSTADT
Germany
Alexanderstraße 24
64283 DARMSTADT
Germany
See on map
Contacto administrativo: Klaus KEIMEL
Tel.: +49-6151-162215
Fax: +49-6151-164011
Correo electrónico
UNIVERSITY OF GENOVA
Italy
Via Dodecaneso 35
16146 GENOVA
Italy
See on map
Contacto administrativo: Eugenio MOGGI
Tel.: +39-10-3538026
Fax: +39-10-3538028
Correo electrónico
UNIVERSITY OF SUSSEX
United Kingdom
FALMER
BN1 9QT BRIGHTON
United Kingdom
Contacto administrativo: Edmund ROBINSON
Tel.: +44-273-606755
Fax: +44-273-678188
Correo electrónico
University of Cambridge
United Kingdom
Free School Lane
CB2 3RF Cambridge
United Kingdom
See on map
Contacto administrativo: Andrew PITTS
Tel.: +44-223-334629
Fax: +44-223-334678
Correo electrónico
University of Manchester
United Kingdom
Oxford Road
M13 9PL Manchester
United Kingdom
See on map
Contacto administrativo: David RYDENHEARD
Tel.: +44-61-2756164
Fax: +44-61-2756280
Correo electrónico
École Normale Supérieure de Paris
France
45 rue d'Ulm
75005 Paris
France
See on map
Contacto administrativo: Pierre-Louis CURIEN
Tel.: +33-1-44322063
Fax: +33-1-44322080
Correo electrónico
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba