Section: Other Grants and Activities
Project INRIA-CNPq (Brazil), DA CAPO — Automated deduction for the verification of specifications and programs . It is a project on the development of proof systems (like haRVey ) for the verification of specifications and software components. The coordinators of this project are David Déharbe (UFRN Natal, Brazil) and Christophe Ringeissen. On the french side, DA CAPO also involves the PROTHEO project.
Project INRIA-CONICYT (Chili), CoreWeb — Constraint Reasoning for the Composition of Web Services . The coordinators of this project are Eric Monfroy (UTFSM Valparaíso, Chili) and Michaël Rusinowitch. On the french side, CoreWeb also involves the ECOO project.
Project INRIA-Tunisian Universities — “Vérification et analyse de la sécurité et de la sûreté des systèmes critiques” . The coordinators of this project are Nejib Ben Hadj-Alouane (ENSI Tunis, University Manouba) and Michaël Rusinowitch. On the french side, this project also involves the laboratory LAG (Grenoble).
French-Tunisian project on the design and implementation of e-voting systems and of tools for verifying e-voting protocols. Duration: 2 years, started in January 2007. This is a project founded by the INRIA/DGRST, action STIC-Tunisie.