Si vous souhaitez présenter un de vos travaux à FAC, vous êtes invités à soumettre une déclaration d’intention comportant le titre de votre contribution ainsi qu’un résumé d’une centaine de mots. Nous prenons en compte deux catégories de contributions: des articles récemment publiés ou en cours de publication, pour lesquels il n’y aura pas de processus de relecture. des articles non publiés, qui seront soumis à un processus de relecture avec retour de commentaires aux auteurs.

FAC'94 Ivan Lavallée (Université Paris VII) Construire des algorithmes distribués à travers des schémas récursifs. FAC'95 Luc Bougé (ENS Lyon) Du parallélisme de contrôle au Parallélisme de données : le point de vue de la validation de programmes. Robert de Simone (INRIA-Sophia) Méthodes de vérification par interprétation en modèles finis. FAC'96 Dominique Mery (CRIN-Université Nancy 1) De la transformation de prédicats à la transformation de programmes.

Le groupe de travail IFSE est un groupe d’animation et de réflexion impliqué dans l’ingénierie formelle des systèmes embarqués. Les activités du groupe, dont l’organisation des journées FAC, sont soutenues par un projet du RTRA STAE. Ces activités continuent le travail effectué dans le groupe CNRS FERIA, dont les participants étaient l’IRIT, le LAAS-CNRS et l’ONERA. L’ingénierie système englobe l’ensemble des activités, méthodes et outils liés aux développement des systèmes embarqués. Les principaux thèmes de recherches abordés par le groupe de travail IFSE concernent les aspects formels de ces activités: logique; preuve; modélisation; transformation et leur preuve d’exactitude; …