Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

FP5

TYPES

Project ID: IST-1999-29001
Financiado con arreglo a

Computer-Assisted Reasoning Based on Type Theory

Desde 2000-08-01 hasta 2003-07-31

Detalles del proyecto

Coste total:

EUR 370 000

Aportación de la UE:

EUR 370 000

Coordinado en:

United Kingdom

Régimen de financiación:

THN - Thematic network contracts

Objetivo

Coordinador

UNIVERSITY OF DURHAM
United Kingdom
UNIVERSITY OFFICE
DH1 3HP DURHAM
United Kingdom
See on map
Contacto administrativo: Zhaohui LUO
Tel.: +19-13-743657
Fax: +19-13-742560
Correo electrónico

Participantes

CHALMERS TEKNISKA HOEGSKOLA AKTIEBOLAG
Sweden
412 96 GOETEBORG
Sweden
Contacto administrativo: Jan SMITH
Tel.: +46-31-292457
Correo electrónico
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
DOMAINE DE VOLUCEAU
78153 LE CHESNAY
France
See on map
Contacto administrativo: Bernard LARROUTUROU
Tel.: +39-63-5405
Fax: +39-63-5888
Correo electrónico
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
DOMAINE DE VOLUCEAU
78153 LE CHESNAY
France
See on map
Contacto administrativo: Joelle DESPEYROUX
Tel.: +93-65-7805
Fax: +93-65-7765
Correo electrónico
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany
GESCHWISTER-SCHOLL-PLATZ 1
80539 MUENCHEN
Germany
See on map
Contacto administrativo: 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
Contacto administrativo: Edmund ROBINSON
Tel.: +20-78-825209
Fax: +20-89-806533
Correo electrónico
STICHTING KATHOLIEKE UNIVERSITEIT
Netherlands
GEERT GROOTEPLEIN-NOORD 9
6525 EZ NIJMEGEN
Netherlands
See on map
Contacto administrativo: Jh GEUVERS
Tel.: +24-36-52603
Fax: +24-36-52525
TECHNISCHE UNIVERSITAET MUENCHEN
Germany
ARCISSTRASSE 21
80333 MUENCHEN
Germany
See on map
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
Contacto administrativo: 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
Contacto administrativo: Peter ACZEL
Tel.: +16-12-756155
Fax: +16-12-756204
Correo electrónico
The University of Edinburgh
United Kingdom
OLD COLLEGE, SOUTH BRIDGE
EH8 9YL EDINBURGH
United Kingdom
See on map
Contacto administrativo: David ASPINALL
Tel.: +13-16-505177
Fax: +13-16-677209
Correo electrónico
UNIVERSITA DEGLI STUDI DI TORINO
Italy
VIA GIUSEPPE VERDI 8
10124 TORINO
Italy
See on map
Contacto administrativo: 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
Contacto administrativo: Furio HONSELL
Tel.: +43-25-58467
Fax: +43-25-58499
Correo electrónico
UNIVERSITE DE PARIS XI PARIS-SUD
France
15, RUE GEORGES CLEMENCEAU
91405 ORSAY CEDEX
France
See on map
Contacto administrativo: 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
Contacto administrativo: Michel PARIGOT
Tel.: +14-42-77976
Fax: +14-42-76148
UNIWERSYTET W BIALYMSTOKU
Poland
MARII SKLODOWSKIEJ-CURIE 14
15097 BIALYSTOK
Poland
See on map
Contacto administrativo: Andrzej TRYBULEC
Tel.: +85-74-57559
Fax: +74-57-662
Correo electrónico
UNIWERSYTET WARSZAWSKI
Poland
KRAKOWSKIE PRZEDMIESCIE 26/28
00-927 WARSZAWA
Poland
See on map
Contacto administrativo: Pawel URZYCZYN
Tel.: +22-65-84377
Fax: +22-65-83164
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba