Journées FAC'2012
-o-O-o-
Formalisation des Activités Concurrentes.
IRIT-UPS - 4 et 5 avril 2012
Avant Propos
La «formalisation des
activités concurrentes» constitue un thème
majeur de l'informatique, et fait l'objet de nombreux travaux de
recherche et de développement, aussi bien au niveau national
qu'international. Au niveau local, ce thème est traité
par le groupe de travail
IFSE du RTRA STAE, et par les
équipes des trois laboratoires toulousains (DTIM-ONERA,
LAAS-CNRS, et IRIT-CNRS-UPS-INPT) qui constituent ce groupe.
Le groupe IFSE, précédemment groupe SVF de la fédération CNRS FÉRIA, organise entre autres
les journées FAC. Ces journées ont pour objet
de présenter des travaux toulousains sur le thème de la
«Formalisation des Activités Concurrentes»
: méthodes, techniques d'analyse, environnements logiciels
reposant sur des bases formelles et assistant la spécification,
la conception, le développement et la mise au point de
systèmes réactifs, répartis et
coopératifs, de réseaux de communication, de
systèmes critiques, ...
Les présentations des travaux en cours
sont complétées par les exposés de deux
conférenciers invités.
Conférenciers invités :
Comité de programme :
Jean-Paul Bodeveix, David Chemouil, Silvano Dal Zilio,
Mamoun Filali, Pierre-Loïc Garoche, Pierre-Emmanuel Hladik, Didier Le Botlan, Pierre Michel, Ileana Ober,
Claire Pagetti, Marc Pantel, Philippe Quéinnec, Nicolas Rivière, Martin Strecker,
François Vernadat, Hélène Waeselynck, Virginie Wiels.
dernière maj de cette page le 9/03/2012