Community Research and Development Information Service - CORDIS

FP6

TYPES

Project reference: 510996
Funded under: FP6-IST

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