Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

Categorical Logic in Computer Science II

Od 1992-10-01 do 1995-09-30

Dane projektu

Całkowity koszt:

Niedostępne

Wkład UE:

Niedostępne

Kraj koordynujący:

United Kingdom

Cel

Koordynator

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Kontakt administracyjny: Samson ABRAMSKY
Tel.: +44-71-5895111
Faks: +44-71-5818024
Adres e-mail

Uczestnicy

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