Il progetto si pone un duplice obiettivo.

In primo luogo, vuole proseguire lo sviluppo di promettenti filoni di ricerca in logica e in informatica teorica scaturiti dall'introduzione della logica lineare: con la logica lineare è infatti possibile avviare una geometria delle dimostrazioni e una geometria della computazione.

In secondo luogo, partendo dai risultati teorici il progetto vuole sviluppare metodologie per il disegno, l'analisi e la verifica di linguaggi paradigmatici di programmazione, orientati al contesto di computazioni mobili su risorse limitate.

Il progetto di svolge nel quadro dell'instaurazione di un più forte rapporto di collaborazione tra le unità di ricerca coinvolte, in particolare accentuando le sinergie tra le unità italiane e quelle francesi.

• Elenco unità di ricerca
• Elenco missioni
• Descrizione del progetto