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

Computer-Assisted Reasoning Based on Type Theory

De 2000-08-01 à 2003-07-31

Détails concernant le projet

Coût total:

EUR 370 000

Contribution de l'UE:

EUR 370 000

Coordonné à/au(x)/en:

United Kingdom

Régime de financement:

THN - Thematic network contracts

Objectif

Coordinateur

UNIVERSITY OF DURHAM
United Kingdom
UNIVERSITY OFFICE
DH1 3HP DURHAM
United Kingdom
See on map
Contact administratif: Zhaohui LUO
Tél.: +19-13-743657
Fax: +19-13-742560
E-mail

Participants

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