Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

Categorical Logic in Computer Science II

De 1992-10-01 à 1995-09-30

Détails concernant le projet

Coût total:

Non disponible

Contribution de l'UE:

Non disponible

Coordonné à/au(x)/en:

United Kingdom

Objectif

Coordinateur

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Contact administratif: Samson ABRAMSKY
Tél.: +44-71-5895111
Fax: +44-71-5818024
E-mail

Participants

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