Section: Other Grants and Activities

National actions

PARSEC

We started at end of 2006 a new project PARSEC, funded by the ANR (Agence Nationale de la Recherche ), together with MIMOSA, EVEREST, LANDE project-teams of INRIA and the team of Roberto Amadio at CNRS-PPS, U. of Paris 7. This project is coordinated by G. Boudol. This project is about the design of programming languages for distributed applications and their security properties.