Team CARTE
Members
Overall Objectives
Introduction
Highlights of the year
Scientific Foundations
Introduction
Continuous Computation Theory
Rewriting
Algorithmic Game Theory
Computer Virology
Application Domains
Computations by Dynamical Systems
Robust and Distributed Algorithms, Algorithmic Game Theory
Computer Virology
Software
CARIBOO
CROCUS
Detection engine by morphological analysis
TraceSurfer
Mr. Waffles
Tartetatintools
Cremebrulee
Pym's
New Results
Computation over the Continuum
Analysis and verification of adversary systems
Implicit Computational Complexity
Models of dynamics in Networks
Computer virology
Other Grants and Activities
Regional Actions
National Actions
European Actions
Visits and invitations of researchers
Dissemination
Activities within the scientific community
Workshop and conference organisation
Program Committees
Teaching
Academic Supervision
Thesis and admission committees
Participation to colloquia, seminars, invitations
Bibliography
Major publications
Publications of the year
References in notes
Inria
/
Raweb 2009
Presentation of the Project CARTE
Section: Dissemination
Workshop and conference organisation
Guillaume Bonfante organised PCC at Loria.
Logo Inria
