HAL - INRIA :: [inria-00426610, version 1] An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems

inria-00426610, version 1

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

Jesus Aranda () ¹, Gérard Assayag ², Carlos Olarte () ¹, Camilo Rueda ³, Toro Mauricio ³, Perez Jorge ⁴, Frank D. Valencia () ¹

Proc. of the 25th International Conference in Logic Programming ICLP'09 5649 (2009) 509-513

Abstract: 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.

1: COMETE (INRIA Saclay - Ile de France)
INRIA – Polytechnique - X – CNRS : UMR7161
2: Sciences et Technologies de la Musique et du Son (STMS)
IRCAM – CNRS : UMR9912 – Université Paris VI - Pierre et Marie Curie
3: Department of Science and Engineering Computing
Pontificia universidad Javeriana, Cali
4: Department of Computer Science
University of Bologna

inria-00426610, version 1
http://hal.inria.fr/inria-00426610
oai:hal.inria.fr:inria-00426610
From: Carlos Olarte <>
Submitted on: Tuesday, 27 October 2009 01:46:56
Updated on: Friday, 27 November 2009 02:04:07

See detailed view

Associated documents

PDF :

DOI: 10.1007/978-3-642-02846-5

Export

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="article"><head>Articles in peer-reviewed journal</head>
<biblStruct type="article" xml:id="inria-00426610"><analytic>
<author><persName><forename>Jesus</forename><surname>Aranda</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Saclay - Ile de France</orgName>
<orgName type="team">COMETE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Polytechnique - X</orgName>
<orgName type="institution">CNRS : UMR7161</orgName>
</affiliation>
</author>
<author><persName><forename>Gérard</forename><surname>Assayag</surname></persName>
<affiliation>
<orgName type="laboratory">STMS</orgName>
<orgName type="team">Sciences et Technologies de la Musique et du Son</orgName>
<country>FR</country>
<orgName type="institution">IRCAM</orgName>
<orgName type="institution">CNRS : UMR9912</orgName>
<orgName type="institution">Université Paris VI - Pierre et Marie Curie</orgName>
</affiliation>
</author>
<author><persName><forename>Carlos</forename><surname>Olarte</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Saclay - Ile de France</orgName>
<orgName type="team">COMETE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Polytechnique - X</orgName>
<orgName type="institution">CNRS : UMR7161</orgName>
</affiliation>
</author>
<author><persName><forename>Camilo</forename><surname>Rueda</surname></persName>
<affiliation>
<orgName type="team">Department of Science and Engineering Computing</orgName>
<country>CO</country>
<orgName type="institution">Pontificia universidad Javeriana, Cali</orgName>
</affiliation>
</author>
<author><persName><forename>Toro</forename><surname>Mauricio</surname></persName>
<affiliation>
<orgName type="team">Department of Science and Engineering Computing</orgName>
<country>CO</country>
<orgName type="institution">Pontificia universidad Javeriana, Cali</orgName>
</affiliation>
</author>
<author><persName><forename>Perez</forename><surname>Jorge</surname></persName>
<affiliation>
<orgName type="team">Department of Computer Science</orgName>
<country>IT</country>
<orgName type="institution">University of Bologna</orgName>
</affiliation>
</author>
<author><persName><forename>Frank D.</forename><surname>Valencia</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Saclay - Ile de France</orgName>
<orgName type="team">COMETE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Polytechnique - X</orgName>
<orgName type="institution">CNRS : UMR7161</orgName>
</affiliation>
</author>
<title type="main" level="a">An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems</title></analytic><monogr><title level="j" type="main">Proc. of the 25th International Conference in Logic Programming ICLP'09</title><imprint><publisher>Springer</publisher><biblScope type="publicationDate">2009-07-14</biblScope><biblScope type="vol">5649</biblScope><biblScope type="pp">509-513</biblScope></imprint></monogr><idno type="doi">10.1007/978-3-642-02846-5</idno><idno type="HALid">http://hal.inria.fr/inria-00426610</idno><idno type="HALFile">http://hal.inria.fr/inria-00426610/PDF/forces-iclp.pdf</idno></biblStruct>
</listBibl>
</listBibl>