Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

Types for Proofs and Programs

Od 1992-09-01 do 1995-08-31

Dane projektu

Całkowity koszt:

Niedostępne

Wkład UE:

Niedostępne

Kraj koordynujący:

France

Cel

Koordynator

Institut National de Recherches en Informatique et en Automatique (INRIA)
France
Domaine de Voluceau Rocquencourt
78153 Le Chesnay
France
Kontakt administracyjny: Gerard HUET
Tel.: +33-1-39635511
Faks: +33-1-39635330
Adres e-mail

Uczestnicy

CHALMERS TEKNISKA HOGSKOLA
Sweden
HOLTERMANSGATAN, 1
412 96 GOTEBORG
Sweden
See on map
Kontakt administracyjny: Bengt NORDSTROEM
Tel.: +46-31-721000
Faks: +46-31-822029
Centre National de la Recherche Scientifique (CNRS)
France
4 PLACE JUSSIEU
75252 PARIS
France
See on map
Kontakt administracyjny: Michel PARIGOT
Tel.: +33-1-44277976
Faks: +33-1-44276935
Institut National de Recherches en Informatique et en Automatique (INRIA)
France
Route des Lucioles
06565 Valbonne
France
See on map
Kontakt administracyjny: Gilles KAHN
Tel.: +33-93657801
Faks: +33-93657633
Adres e-mail
KATHOLIEKE UNIVERSITEIT NIJMEGEN
Netherlands
, 9108
6500 HK NIJMEGEN
Netherlands
See on map
Kontakt administracyjny: Hendrik BARENDREGT
Tel.: +31-80-652643
Faks: +31-80652525
NEDERLANDSE PHILIPS BEDRIJVEN BV
Netherlands
PROF. HOLSTLAAN, 4
5656 AA EINDHOVEN
Netherlands
See on map
Kontakt administracyjny: Leen HELMINK
Tel.: +31-40-742850
Faks: +31-40-744004
Technische Universitaet Muenchen
Germany
Arcisstrasse 21
80333 Muenchen
Germany
See on map
Kontakt administracyjny: Tobias NIPKOW
Tel.: +49-89-21058161
Faks: +49-89-21058163
Adres e-mail
UNIVERSITA DEGLI STUDI DI TORINO
Italy
Corso Svizzera 185
10149 TORINO
Italy
See on map
Kontakt administracyjny: Mario COPPO
Tel.: +39-11-7712002
Faks: +39-11-751603
University of Cambridge
United Kingdom
Free School Lane
CB2 3RF Cambridge
United Kingdom
See on map
Kontakt administracyjny: Lawrence PAULSON
Tel.: +44-223-334629
Faks: +44-223-334678
University of Edinburgh
United Kingdom
2 Buccleuch Place
EH8 9LW Edinburgh
United Kingdom
See on map
Kontakt administracyjny: Rod BURSTALL
Tel.: +44-31-6505174
Faks: +44-31-6677209
University of Manchester
United Kingdom
Oxford Road
M13 9PL Manchester
United Kingdom
See on map
Kontakt administracyjny: Peter ACZEL
Tel.: +44-61-2756155
Faks: +44-61-2756204
Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę