next
Consiglio Nazionale delle Ricerche
ISTITUTO per le APPLICAZIONI del CALCOLO
"Mauro Picone"
 

Dinamica dei Processi Computazionali

Progetti di Cooperazione Nazionali ed Internazionali

Progetto CNR-CNRS "Valutazioni Parallele ed Ottimali del lambda Calcolo".

Progetto UE-TMR "Linear Logic in Theoretical Computer Science"

Progetto INTAS "Linear and Non-Linear Idempotent Analysis". 

Marco Pedicini: marco@iac.rm.cnr.it