Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

Network on abstract interpretation for declarative languages

De 1995-01-01 à 1997-12-31

Détails concernant le projet

Coût total:

Non disponible

Contribution de l'UE:

Non disponible

Coordonné à/au(x)/en:

Belgium

Sujet(s):

Régime de financement:

CSC - Cost-sharing contracts

Coordinateur

Facultés Universitaires Notre-Dame dela Paix de Namur
Belgium
21,Rue Grandgagnage
5000 Namur
Belgium
See on map

Participants

Centre National de la Recherche Scientifique (CNRS)
France
Université Lille 1
59655 Villeneuve-d'Ascq
France
See on map
Centre National de la Recherche Scientifique (CNRS)
France
351 cours de la Libération
33405 Talence
France
See on map
Institut National de Recherches en Informatique et en Automatique (INRIA)
France
Domaine de Voluceau Rocquencourt
78153 Le Chesnay
France
See on map
Katholieke Universiteit Leuven
Belgium
200 A,Celestijnenlaan
3001 Heverlee
Belgium
See on map
Københavns Universitet
Denmark
1,Universitetsparken
2100 København
Denmark
See on map
Linköping University
Sweden
29,Valla,
581 83 Linköping
Sweden
See on map
MAX-PLANCK-GESELLSCHAFT ZUR FOERDERUNG DER WISSENSCHAFTEN E.V.
Germany
Im Stadtwald
66123 SAARBRUECKEN
Germany
See on map
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
United Kingdom
Pembroke Street, New Museums Site
CB2 3QG CAMBRIDGE
United Kingdom
See on map
UNIVERSITA DEGLI STUDI DI PADOVA
Italy
Via Belzoni 7
35131 PADOVA
Italy
See on map
UNIVERSITA DEGLI STUDI DI PISA
Italy
Corso Italia 40
56125 PISA
Italy
See on map
Universidad Politécnica de Madrid
Spain
S/N,Boadilla del Monte
28660 Madrid
Spain
École Normale Supérieure
France
45 rue d'Ulm
75230 Paris
France
See on map