Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

Computer-Assisted Reasoning Based on Type Theory

Od 2000-08-01 do 2003-07-31

Dane projektu

Całkowity koszt:

EUR 370 000

Wkład UE:

EUR 370 000

Kraj koordynujący:

United Kingdom

System finansowania:

THN - Thematic network contracts

Cel

Koordynator

UNIVERSITY OF DURHAM
United Kingdom
UNIVERSITY OFFICE
DH1 3HP DURHAM
United Kingdom
See on map
Kontakt administracyjny: Zhaohui LUO
Tel.: +19-13-743657
Faks: +19-13-742560
Adres e-mail

Uczestnicy

CHALMERS TEKNISKA HOEGSKOLA AKTIEBOLAG
Sweden
412 96 GOETEBORG
Sweden
Kontakt administracyjny: Jan SMITH
Tel.: +46-31-292457
Adres e-mail
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
DOMAINE DE VOLUCEAU
78153 LE CHESNAY
France
See on map
Kontakt administracyjny: Bernard LARROUTUROU
Tel.: +39-63-5405
Faks: +39-63-5888
Adres e-mail
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
DOMAINE DE VOLUCEAU
78153 LE CHESNAY
France
See on map
Kontakt administracyjny: Joelle DESPEYROUX
Tel.: +93-65-7805
Faks: +93-65-7765
Adres e-mail
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany
GESCHWISTER-SCHOLL-PLATZ 1
80539 MUENCHEN
Germany
See on map
Kontakt administracyjny: Helmut SCHWICHTENBERG
Tel.: +89-23-944413
Faks: +89-28-05248
QUEEN MARY AND WESTFIELD COLLEGE, UNIVERSITY OF LONDON
United Kingdom
MILE END ROAD
E1 4NS LONDON
United Kingdom
See on map
Kontakt administracyjny: Edmund ROBINSON
Tel.: +20-78-825209
Faks: +20-89-806533
Adres e-mail
STICHTING KATHOLIEKE UNIVERSITEIT
Netherlands
GEERT GROOTEPLEIN-NOORD 9
6525 EZ NIJMEGEN
Netherlands
See on map
Kontakt administracyjny: Jh GEUVERS
Tel.: +24-36-52603
Faks: +24-36-52525
TECHNISCHE UNIVERSITAET MUENCHEN
Germany
ARCISSTRASSE 21
80333 MUENCHEN
Germany
See on map
Kontakt administracyjny: N/A
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
United Kingdom
THE OLD SCHOOLS, TRINITY LANE
CB2 1TS CAMBRIDGE
United Kingdom
See on map
Kontakt administracyjny: Lawrence PAULSON
Tel.: +12-23-334629
Faks: +12-23-334678
THE VICTORIA UNIVERSITY OF MANCHESTER
United Kingdom
OXFORD ROAD
M13 9PL MANCHESTER
United Kingdom
See on map
Kontakt administracyjny: Peter ACZEL
Tel.: +16-12-756155
Faks: +16-12-756204
Adres e-mail
The University of Edinburgh
United Kingdom
OLD COLLEGE, SOUTH BRIDGE
EH8 9YL EDINBURGH
United Kingdom
See on map
Kontakt administracyjny: David ASPINALL
Tel.: +13-16-505177
Faks: +13-16-677209
Adres e-mail
UNIVERSITA DEGLI STUDI DI TORINO
Italy
VIA GIUSEPPE VERDI 8
10124 TORINO
Italy
See on map
Kontakt administracyjny: Luciano BERARDI
Tel.: +39-01-17181223
Faks: +39-01-17181079
UNIVERSITA DEGLI STUDI DI UDINE
Italy
VIA PALLADIO 8
33100 UDINE
Italy
See on map
Kontakt administracyjny: Furio HONSELL
Tel.: +43-25-58467
Faks: +43-25-58499
Adres e-mail
UNIVERSITE DE PARIS XI PARIS-SUD
France
15, RUE GEORGES CLEMENCEAU
91405 ORSAY CEDEX
France
See on map
Kontakt administracyjny: Christine PAULIN MOHRING
Tel.: +16-91-56635
Faks: +16-91-56586
UNIVERSITE PARIS 7 DENIS DIDEROT
France
PLACE JUSSIEU 2
75251 PARIS CEDEX 05
France
See on map
Kontakt administracyjny: Michel PARIGOT
Tel.: +14-42-77976
Faks: +14-42-76148
UNIWERSYTET W BIALYMSTOKU
Poland
MARII SKLODOWSKIEJ-CURIE 14
15097 BIALYSTOK
Poland
See on map
Kontakt administracyjny: Andrzej TRYBULEC
Tel.: +85-74-57559
Faks: +74-57-662
Adres e-mail
UNIWERSYTET WARSZAWSKI
Poland
KRAKOWSKIE PRZEDMIESCIE 26/28
00-927 WARSZAWA
Poland
See on map
Kontakt administracyjny: Pawel URZYCZYN
Tel.: +22-65-84377
Faks: +22-65-83164
Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę