Project-Cassis:International Grants

Section: Other Grants and Activities

Project INRIA-CNPq (Brazil), DA CAPO — Automated deduction for the verification of specifications and programs . This is a project on the development of proof systems (like haRVey ) for the verification of specifications and software components. The coordinators are David Déharbe (UFRN Natal, Brazil) and Christophe Ringeissen. On the french side, DA CAPO also involves MOSEL and PAREO .
Project INRIA-CONICYT (Chile), CoreWeb — Constraint Reasoning for the Composition of Web Services . The coordinators are Eric Monfroy (UTFSM Valparaíso, Chile) and Michaël Rusinowitch.
Associate Team INRIA (with UTFSM Valparaíso, Chile), VanaWeb — Hybrid and autonomous constraint solving and applications to composition problems for the Web . The coordinators are Carlos Castro (UTFSM Valparaíso, Chile) and Christophe Ringeissen. On the french side, VanaWeb also involves members of ECOO and PAREO .
French-Tunisian project on Security Policies and Configurations of Firewalls: Compilation and Automated Verification . We collaborate with SupCom Tunis and the project-team DAHU in the context of STIC-Tunisia.
PHC Alliance project between the Cassis team and the University of Bristol on refinement of security systems. The coordinators of the projet are Bogdan Warinschi and Véronique Cortier. Duration: 2 years, started in January 2008.