@inproceedings{a4c4a30374c4499f83025683b1982357,
title = "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.",
author = "Jes{\'u}s Aranda and Gerard Assayag and Carlos Olarte and P{\'e}rez, {Jorge A.} and Camilo Rueda and Mauricio Toro and Valencia, {Frank D.}",
year = "2009",
doi = "10.1007/978-3-642-02846-5_44",
language = "English",
isbn = "3642028454",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "509--513",
booktitle = "Logic Programming - 25th International Conference, ICLP 2009, Proceedings",
note = "25th International Conference on Logic Programming, ICLP 2009 ; Conference date: 14-07-2009 Through 17-07-2009",
}