Section: Partnerships and Cooperations
ANR DEFIS PWD
The Pwd project (for “Programmation du Web diffus”) has been funded by the ANR Défis programme for 4 years, starting November 2009. The partners of this project are the teams Indes (coordinator), Lip6 at University Pierre et Marie Curie and Pps at University Denis Diderot.
The MEALS project (Mobility between Europe and Argentina applying Logics to Systems), IRSES program, started October 1st (2011), and will end September 30th, 2015. The project goals cover three aspects of formal methods: specification (of both requirement properties and system behavior), verification, and synthesis. The Indes members are involved in the task of Security and Information Flow Properties (WP3). The partners in this task include University of Buenos Aires, University of Cordoba, Inria (together with Catuscia Palamidessi, Kostas Chatzikokolakis, Miguel Andrés) and University of Twente.