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

Abstract. The FORCES project aims at providing robust and declarative formalisms 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.

• Type: Conference
• Year: 2009
• Where: ICLP
• Authors: Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia
• Keywords: Declarative Formalisms, ICLP 2009, Multimedia Semantic Interaction, Paper Describes Forces, Programming Languages