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

Logic programme synthesis and transformation

De 1993-12-01 à 1996-11-30

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

Katholieke Universiteit Leuven
Belgium
200 A,Celestijnenlaan
3001 Heverlee
Belgium
See on map
Contact administratif: N/A

Participants

Centre National de la Recherche Scientifique (CNRS)
France
Université Lille 1
59655 Villeneuve-d'Ascq
France
See on map
Contact administratif: N/A
DARMSTADT UNIVERSITY OF TECHNOLOGY
Germany
Karolinenplatz 5
DARMSTADT
Germany
See on map
Contact administratif: N/A
Facultés Universitaires Notre-Dame dela Paix de Namur
Belgium
21,Rue Grandgagnage
5000 Namur
Belgium
See on map
Contact administratif: N/A
Linköping University
Sweden
29,Valla,
581 83 Linköping
Sweden
See on map
Contact administratif: N/A
National Technical University of Athens
Greece
9,Iroon Polytechniou
15773 Athens
Greece
Contact administratif: N/A
Norges Teknisk-Naturvitenskapelige Universitet
Norway
7034 Trondheim
Norway
See on map
Contact administratif: N/A
UNIVERSITA DEGLI STUDI DI PADOVA
Italy
Via Belzoni 7
35131 PADOVA
Italy
See on map
Contact administratif: N/A
University of Bristol
United Kingdom
University Walk
BS8 ITR Bristol
United Kingdom
See on map
Contact administratif: N/A
University of Edinburgh
United Kingdom
5 Forrest Hill
EH1 2QL Edinburgh
United Kingdom
See on map
Contact administratif: N/A
University of Manchester
United Kingdom
Oxford Road
M13 9PL Manchester
United Kingdom
See on map
Contact administratif: N/A
Università degli Studi di Roma 'Tor Vergata'
Italy
Via della Ricerca Scientifica
00133 Roma
Italy
See on map
Contact administratif: N/A
Universität Zürich
Switzerland
190,Winterthurerstrasse 190
8057 Zürich - Irchel
Switzerland
See on map
Contact administratif: N/A
Université Catholique de Louvain
Belgium
2,Place Sainte-Barbe
1348 Louvain-la-Neuve
Belgium
See on map
Contact administratif: N/A
Uppsala University
Sweden
1,Polacksbacken
751 05 Uppsala
Sweden
See on map
Contact administratif: N/A
École Normale Supérieure
France
45 rue d'Ulm
75230 Paris
France
See on map
Contact administratif: N/A