Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Computer-Assisted Reasoning Based on Type Theory

Von 2000-08-01 bis 2003-07-31

Projektdetails

Gesamtkosten:

EUR 370 000

EU-Beitrag:

EUR 370 000

Koordiniert in:

United Kingdom

Finanzierungsprogramm:

THN - Thematic network contracts

Ziel

Koordinator

UNIVERSITY OF DURHAM
United Kingdom
UNIVERSITY OFFICE
DH1 3HP DURHAM
United Kingdom
See on map
Administrative Kontaktangaben: Zhaohui LUO
Tel.: +19-13-743657
Fax: +19-13-742560
E-Mail-Adresse

Teilnehmer

CHALMERS TEKNISKA HOEGSKOLA AKTIEBOLAG
Sweden
412 96 GOETEBORG
Sweden
Administrative Kontaktangaben: Jan SMITH
Tel.: +46-31-292457
E-Mail-Adresse
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
DOMAINE DE VOLUCEAU
78153 LE CHESNAY
France
See on map
Administrative Kontaktangaben: Bernard LARROUTUROU
Tel.: +39-63-5405
Fax: +39-63-5888
E-Mail-Adresse
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
DOMAINE DE VOLUCEAU
78153 LE CHESNAY
France
See on map
Administrative Kontaktangaben: Joelle DESPEYROUX
Tel.: +93-65-7805
Fax: +93-65-7765
E-Mail-Adresse
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany
GESCHWISTER-SCHOLL-PLATZ 1
80539 MUENCHEN
Germany
See on map
Administrative Kontaktangaben: Helmut SCHWICHTENBERG
Tel.: +89-23-944413
Fax: +89-28-05248
QUEEN MARY AND WESTFIELD COLLEGE, UNIVERSITY OF LONDON
United Kingdom
MILE END ROAD
E1 4NS LONDON
United Kingdom
See on map
Administrative Kontaktangaben: Edmund ROBINSON
Tel.: +20-78-825209
Fax: +20-89-806533
E-Mail-Adresse
STICHTING KATHOLIEKE UNIVERSITEIT
Netherlands
GEERT GROOTEPLEIN-NOORD 9
6525 EZ NIJMEGEN
Netherlands
See on map
Administrative Kontaktangaben: Jh GEUVERS
Tel.: +24-36-52603
Fax: +24-36-52525
TECHNISCHE UNIVERSITAET MUENCHEN
Germany
ARCISSTRASSE 21
80333 MUENCHEN
Germany
See on map
Administrative Kontaktangaben: 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
Administrative Kontaktangaben: Lawrence PAULSON
Tel.: +12-23-334629
Fax: +12-23-334678
THE VICTORIA UNIVERSITY OF MANCHESTER
United Kingdom
OXFORD ROAD
M13 9PL MANCHESTER
United Kingdom
See on map
Administrative Kontaktangaben: Peter ACZEL
Tel.: +16-12-756155
Fax: +16-12-756204
E-Mail-Adresse
The University of Edinburgh
United Kingdom
OLD COLLEGE, SOUTH BRIDGE
EH8 9YL EDINBURGH
United Kingdom
See on map
Administrative Kontaktangaben: David ASPINALL
Tel.: +13-16-505177
Fax: +13-16-677209
E-Mail-Adresse
UNIVERSITA DEGLI STUDI DI TORINO
Italy
VIA GIUSEPPE VERDI 8
10124 TORINO
Italy
See on map
Administrative Kontaktangaben: Luciano BERARDI
Tel.: +39-01-17181223
Fax: +39-01-17181079
UNIVERSITA DEGLI STUDI DI UDINE
Italy
VIA PALLADIO 8
33100 UDINE
Italy
See on map
Administrative Kontaktangaben: Furio HONSELL
Tel.: +43-25-58467
Fax: +43-25-58499
E-Mail-Adresse
UNIVERSITE DE PARIS XI PARIS-SUD
France
15, RUE GEORGES CLEMENCEAU
91405 ORSAY CEDEX
France
See on map
Administrative Kontaktangaben: Christine PAULIN MOHRING
Tel.: +16-91-56635
Fax: +16-91-56586
UNIVERSITE PARIS 7 DENIS DIDEROT
France
PLACE JUSSIEU 2
75251 PARIS CEDEX 05
France
See on map
Administrative Kontaktangaben: Michel PARIGOT
Tel.: +14-42-77976
Fax: +14-42-76148
UNIWERSYTET W BIALYMSTOKU
Poland
MARII SKLODOWSKIEJ-CURIE 14
15097 BIALYSTOK
Poland
See on map
Administrative Kontaktangaben: Andrzej TRYBULEC
Tel.: +85-74-57559
Fax: +74-57-662
E-Mail-Adresse
UNIWERSYTET WARSZAWSKI
Poland
KRAKOWSKIE PRZEDMIESCIE 26/28
00-927 WARSZAWA
Poland
See on map
Administrative Kontaktangaben: Pawel URZYCZYN
Tel.: +22-65-84377
Fax: +22-65-83164
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben