Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Logical Frameworks: Design, Implementation and Experiment

Von 1989-06-01 bis 1992-03-31

Projektdetails

Gesamtkosten:

Nicht verfügbar

EU-Beitrag:

Nicht verfügbar

Koordiniert in:

France

Ziel

Koordinator

Institut National de Recherches en Informatique et en Automatique (INRIA)
France
Domaine de Voluceau Rocquencourt
78153 Le Chesnay
France
Administrative Kontaktangaben: Catherine CARON
Tel.: +33-1-39635511
Fax: +33-1-39635330

Teilnehmer

CHALMERS UNIVERSITY OF TECHNOLOGY
Sweden
41296 GOETEBORG
Sweden
Administrative Kontaktangaben: Kent PETERSSON
Tel.: +46-31-721028
Fax: +46-
Institut National de Recherches en Informatique et en Automatique (INRIA)
France
Domaine de Voluceau Rocquencourt
78153 Le Chesnay
France
Administrative Kontaktangaben: Catherine CARON
Tel.: +33-1-39635511
Fax: +33-1-39635330
UNIVERSITA DEGLI STUDI DI TORINO
Italy
Corso Svizzera 185
10149 TORINO
Italy
See on map
Administrative Kontaktangaben: Mario COPPO
Tel.: +39-11-7712002
Fax: +39-11-751603
UNIVERSITE DE PARIS VII DENIS DIDEROT
France
Place Jussieu 2
PARIS
France
Administrative Kontaktangaben: Michel PARIGOT
Tel.: +33-1-44277976
Fax: +33-1-44276148
E-Mail-Adresse
University of Cambridge
United Kingdom
New Museums Site Pembroke Street
CB2 3QG Cambridge
United Kingdom
See on map
Administrative Kontaktangaben: Lawrence PAULSON
Tel.: +44-223-334629
Fax: +44-223-334678
University of Manchester
United Kingdom
Oxford Road
M13 9PL Manchester
United Kingdom
See on map
Administrative Kontaktangaben: Peter ACZEL
Tel.: +44-61-2756155
Fax: +44-61-2756204
University of Oxford
United Kingdom
11 Keble Road
OX1 3QD Oxford
United Kingdom
See on map
Administrative Kontaktangaben: Bernard SUFRIN
Tel.: +44-865-273828
Fax: +44-865-726753
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben