Community Research and Development Information Service - CORDIS

FP6

TYPES

Project reference: 510996
Funded under: FP6-IST

Types for Proofs and Programs [Print to PDF] [Print to RTF]

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