Section: Other Grants and Activities
DREI Equipes Associé PRINTEMPS
The project has started in December 2005 and includes the following participants:
INRIA Futurs. Responsible: C. Palamidessi
Paris VII. Responsible: V. Danos
McGill University. Responsible: P. Panangaden
PRINTEMPS focuses on the applications of Information Theory to security. We are particularly interested in studying the interactions between Concurrency and Information Theory.
Integrated Action Vallauris within the EGIDE/PAI PICASSO program
The EGIDE/PAI program PICASSO aims at promoting the scientific and technological exchanges between France and Spain. The equip Comète is participating, within this program, to a project whose participants are:
INRIA Futurs. Responsibles: Catuscia Palamidessi and Dale Miller
Universidad Politécnica de Madrid. Responsibles: James Lipton and Manuel Hermenegildo
The main aims of our project, which has started in January 2005, are the integration of the approaches developed by the INRIA and the UPM teams to the analysis and implementation of Higher-Order Languages (both sequential and concurrent), coinductive techniques (with special emphasis on lazy features), and in the areas of code validation, proof carrying code and security.