Community Research and Development Information Service - CORDIS

FP6

TYPES

Project reference: 510996
Funded under

Types for Proofs and Programs

From 2004-09-01 to 2007-08-31 | TYPES Website

Project details

Total cost:

EUR 647 000

EU contribution:

EUR 647 000

Coordinated in:

Sweden

Funding scheme:

CA - Coordination action

Objective

Related information

Open Access

Coordinator

CHALMERS TEKNISKA HOEGSKOLA AKTIEBOLAG
Sweden
412 96 GOETEBORG
Sweden
Administrative contact: NORDSTR?M, BENGT
Tel.: +30-228523234
Fax: +46-31-165655
E-mail

Participants

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
DOMAINE DE VOLUCEAU, ROCQUENCOURT
78153 LE CHESNAY
France
See on map
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany
GESCHWISTER-SCHOLL-PLATZ 1
80539 MUENCHEN
Germany
See on map
STICHTING KATHOLIEKE UNIVERSITEIT
Netherlands
GEERT GROOTEPLEIN-NOORD 9
6525 EZ NIJMEGEN
Netherlands
See on map
TECHNISCHE UNIVERSITAET MUENCHEN
Germany
ARCISSTRASSE 21
80290 MUENCHEN
Germany
See on map
THE UNIVERSITY OF EDINBURGH
United Kingdom
OLD COLLEGE, SOUTH BRIDGE
EH8 9YL EDINBURGH
United Kingdom
See on map
THE VICTORIA UNIVERSITY OF MANCHESTER
United Kingdom
OXFORD ROAD
M13 9PL MANCHESTER
United Kingdom
See on map
Tallinna Tehnikauelikooli Kueberneetika Instituut
Estonia
AKADEEMIA TEE 21
12618 TALLINN
Estonia
See on map
UNIVERSITA DEGLI STUDI DI TORINO
Italy
VIA GIUSEPPE VERDI 8
10124 TORINO
Italy
See on map
UNIVERSITA DEGLI STUDI DI UDINE
Italy
VIA PALLADIO 8
33100 UDINE
Italy
See on map
UNIVERSITE DE PARIS XI PARIS-SUD
France
15, RUE GEORGES CLEMENCEAU
91405 ORSAY
France
See on map
UNIVERSITE PARIS VII - DENIS DIDEROT
France
PLACE JUSSIEU 2
75251 PARIS CEDEX 05
France
See on map
UNIVERSITY OF DURHAM
United Kingdom
OLD SHIRE HALL, OLD ELVET
DH1 3LE DURHAM
United Kingdom
See on map
UNIWERSYTET W BIALYMSTOKU
Poland
MARII SKLODOWSKIEJ-CURIE 14
15097 BIALYSTOK
Poland
See on map
UNIWERSYTET WARSZAWSKI_
Poland
KRAKOWSKIE PRZEDMIESCIE 26/28
00-927 WARSZAWA
Poland
See on map
Record Number: 71892 / Last updated on: 2007-04-02