La XXIV° édition des journées FAC aura lieu les 29 et 30 mars prochain à l’ONERA, salle du boulon.

Si vous souhaitez participer, toutes les informations nécessaires sont sur l’appel à communications 2017.

Conférenciers invités

Cette année nos conférenciers invités seront:

À propos des journées FAC

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 (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…

À bientôt aux journées FAC.

Jean-Paul Bodeveix, Julien Brunel, Silvano Dal Zilio, Mamoun Filali, Pierre-Loïc Garoche, Pierre-Emmanuel Hladik, Didier Le Botlan, Ileana Ober, Claire Pagetti, Pierre Roux, Marc Pantel, Philippe Quéinnec, Jean-Baptiste Raclet, Nicolas Rivière, François Vernadat, Hélène Waeselynck, Virginie Wiels.