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

Types for Proofs and Programs

Desde 1992-09-01 hasta 1995-08-31

Detalles del proyecto

Coste total:

No disponible

Aportación de la UE:

No disponible

Coordinado en:

France

Objetivo

Coordinador

Institut National de Recherches en Informatique et en Automatique (INRIA)
France
Domaine de Voluceau Rocquencourt
78153 Le Chesnay
France
Contacto administrativo: Gerard HUET
Tel.: +33-1-39635511
Fax: +33-1-39635330
Correo electrónico

Participantes

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