An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems

Jesus Aranda (1) , Gérard Assayag (2) , Carlos Olarte (1) , Camilo Rueda (3) , Toro Mauricio (3) , Perez Jorge (4) , Frank D. Valencia (1)

1 COMETE - Concurrency, Mobility and Transactions
2 STMS - Sciences et Technologies de la Musique et du Son
3 Department of Science and Engineering Computing
4 DISI - Department of Computer Science and Engineering [Bologna]

The FORCES project aims at providing robust and declarative for- malisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedia Semantic Interaction. This short paper describes FORCES's motivations, results and future research directions.

Mots clés: FORCES Security Protocols Biological Systems Multimedia Semantic Interaction Concurrent Constraint Programming

Domaines: Calcul formel [cs.SC]

Jesus Aranda, Gérard Assayag, Carlos Olarte, Camilo Rueda, Toro Mauricio, et al.. An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. ICLP 2009 - 25th International Conference on Logic Programming, Jul 2009, Pasadena, United States. pp.509-513, ⟨10.1007/978-3-642-02846-5⟩. ⟨inria-00426610⟩