FORCES

FORmalisms from Concurrency for Emergent Systems

 
 

FORCES (FORmalisms from Concurrency for Emergent Systems) is a Colombian-French project funded by the program of “Equipes Associées” of INRIA. The teams involved in this research collaboration are COMETE (INRIA), the Music Representation Research Group (IRCAM) and AVISPA (Colciencias). The main goal is to provide more robust formalisms for analyzing the emergent systems our teams  have been modeling during recent years: I.e., Security Protocols, Biological Systems and Multimedia Semantic Interaction. Our research strategy is, with the benefit of hindsight, to develop them as suitable extensions or specializations of concurrent constraint-based calculi.

Presentation

Programme INRIA "Equipes Associées"

Coordinator of the French team:

Frank D. Valencia

+33 1 6933 4144

http://www.lix.polytechnique.fr/~fvalenci/

Coordinator of the Colombian team:

Camilo Rueda

+57 2 321 8397

http://cic.puj.edu.co/~crueda/camilo/

Mailing list:

http://groups.google.com/group/forcesproject

Proposal: Programme INRIA “Equipes Associées”