Progetto FOLLIA is funded by Progetti di Rilevanza Nazionale (PRIN) programme, by italian Ministero della Pubblica Istruzione, dell'Università e della Ricerca Scientifica (MURST). "FOLLIA" is an achronim for "FOndazioni Logiche di LInguaggi Astratti di Programmazione" (Logical foundations of abstract programming languages).Progetto FOLLIA is a continuation of MIUR-2002 PROTOCOLLO project (from PROofs TO COmputation through Linear LOgic) with a twofold goal:

• FOLLIA will continue the promising development of foundational and applicative research, within Theoretical Computer Science, that followed the introduction of Linear Logic.
• starting from the theoretical results, FOLLIA will develop methodologies for the design, the analysis and the verification of paradigmatic programming languages oriented to applications in the context of mobile computations with resource guarantees.

Real issues will solicit ideas, and, will be verification tools, relatively to the obtained results, though mobile computations in presence of resource limitations will be our favorite context of reference.