Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

Logical Frameworks: Design, Implementation and Experiment

Dal 1989-06-01 al 1992-03-31

Dettagli del progetto

Costo totale:

Non disponibile

Contributo UE:

Non disponibile

Coordinato in:

France

Obiettivo

Coordinatore

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

Partecipanti

CHALMERS UNIVERSITY OF TECHNOLOGY
Sweden
41296 GOETEBORG
Sweden
Contatto amministrativo: 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
Contatto amministrativo: 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
Contatto amministrativo: Mario COPPO
Tel.: +39-11-7712002
Fax: +39-11-751603
UNIVERSITE DE PARIS VII DENIS DIDEROT
France
Place Jussieu 2
PARIS
France
Contatto amministrativo: Michel PARIGOT
Tel.: +33-1-44277976
Fax: +33-1-44276148
E-mail
University of Cambridge
United Kingdom
New Museums Site Pembroke Street
CB2 3QG Cambridge
United Kingdom
See on map
Contatto amministrativo: 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
Contatto amministrativo: 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
Contatto amministrativo: Bernard SUFRIN
Tel.: +44-865-273828
Fax: +44-865-726753