Team Comète

Overall Objectives
Scientific Foundations
Application Domains
New Results
Other Grants and Activities

Section: Other Grants and Activities

Actions internationales

DREI Equipes Associé PRINTEMPS

Participants : Kostas Chatzikokolakis, Tom Chothia, Yuxin Deng, Catuscia Palamidessi, Jun Pang.

The project has started in December 2005 and includes the following participants:

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

Participants : Catuscia Palamidessi, Frank Valencia, Kostas Chatzikokolakis.

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:

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.


Logo Inria