Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

Categorical Logic in Computer Science II

Dal 1992-10-01 al 1995-09-30

Dettagli del progetto

Costo totale:

Non disponibile

Contributo UE:

Non disponibile

Coordinato in:

United Kingdom

Obiettivo

Coordinatore

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

Partecipanti

AARHUS UNIVERSITET
Denmark
NORDRE RINGGADE, 1
8000 AARHUS
Denmark
See on map
Contatto amministrativo: Glynn WINSKEL
Tel.: +45-4586127188
Fax: +45-4586135725
E-mail
CHALMERS UNIVERSITY OF TECHNOLOGY
Sweden
41296 GOETEBORG
Sweden
Contatto amministrativo: Peter DYBJER
Tel.: +46-31721035
Fax: +46-31822029
E-mail
Gesellschaft für Mathematik und Datenverarbeitung mbH
Germany
Schloß Birlinghoven
53754 Sankt Augustin
Germany
See on map
Contatto amministrativo: Axel POIGNE
Tel.: +49-2241-142440
Fax: +49-2241-142035
E-mail
TECHNISCHE HOCHSCHULE DARMSTADT
Germany
Alexanderstraße 24
64283 DARMSTADT
Germany
See on map
Contatto amministrativo: Klaus KEIMEL
Tel.: +49-6151-162215
Fax: +49-6151-164011
E-mail
UNIVERSITY OF GENOVA
Italy
Via Dodecaneso 35
16146 GENOVA
Italy
See on map
Contatto amministrativo: Eugenio MOGGI
Tel.: +39-10-3538026
Fax: +39-10-3538028
E-mail
UNIVERSITY OF SUSSEX
United Kingdom
FALMER
BN1 9QT BRIGHTON
United Kingdom
Contatto amministrativo: Edmund ROBINSON
Tel.: +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
Contatto amministrativo: Andrew PITTS
Tel.: +44-223-334629
Fax: +44-223-334678
E-mail
University of Manchester
United Kingdom
Oxford Road
M13 9PL Manchester
United Kingdom
See on map
Contatto amministrativo: David RYDENHEARD
Tel.: +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
Contatto amministrativo: Pierre-Louis CURIEN
Tel.: +33-1-44322063
Fax: +33-1-44322080
E-mail