| Home | Members | Articles | Meetings |
The goal of this project is to implement one of the themes which appeared as essential during the Action Spécifique CNRS Topologie Algébrique pour l'étude des structures de calcul et notamment de la concurrence (see Report 2004). Several teams in this AS have developed similar algebraic methods, aiming at the description of structures of computation (for rewriting systems, concurrent programs, lambda-calculi etc.), that we would like to see converge in this project.
The idea is to characterize the expressivity of a paradigm of computation by associating an algebraic invariant, such as e.g. a homotopy type, or preferably a homology type since the latter one may be more amenable to effective computation. These invariants allow to solve problems like some encountered in static analysis for instance (reduction of the state-space when trying to automatically validate concurrent programs). We wish to develop these methods in this project, through a close interaction between mathematicians (algebraic topology and homological algebra) and computer scientists.
For a detailed description of the project, see Program 2005. Its reference is ANR-05-BLAN-0267.
Last modification: 2008-09-16.
Page maintained by Samuel Mimram.