Les journées FAC ont été organisées par le groupe SVF / FéRIA : Spécification, Vérification Formelles. Les journées FAC'2006 ont eu lieu les 23 et 24 mars 2006, auditorium de l’IRIT. Programme des journées : Jeudi 23 mars 2006 10h15 Accueil 10h30-11h30 Conférencier invité Langages Synchrones - Applications, Fondements et Evolutions. Charles André. Université de Nice-Sophia Antipolis/CNRS Session 1 : Modèles 11h30-12h00 A propos du problème de la composition des services électroniques. Philippe Balbiani, Fahima Cheikh IRIT

Les journées FAC ont été organisées par le groupe SVF / FéRIA : Spécification, Vérification Formelles. Les journées FAC'2005 ont eu lieu les 9 et 10 mars 2005, salle de Conférence du LAAS. Programme des journées : Mercredi 9 mars 2005 9h30 Ouverture des journées Malik Ghallab (Directeur du LAAS). 9h45-10h45 Conférencier invité Paul Caspi (VERIMAG Grenoble) Approximation, échantillonnage et vote pour des systèmes mixtes continus-discrets : vers une approche unifiée.

Les journées FAC ont été organisées par le groupe SVF / FéRIA : Spécification, Vérification Formelles. Les journées FAC'2004 ont eu lieu les 9 et 10 mars 2004, salle du 1er étage, bâtiment hexagonal du CERT-ONERA. Programme des journées : Mardi 9 mars 2004 9h30 Ouverture des journées Jacques Cazin (Directeur du DTIM). 9h45-10h45 Conférencier invité Jean-Pierre Elloy (IRCCyN-Nantes) Présentation de la démarche de conception des architectures logicielles embarquées dans l’automobile: de la définition des exigences à l’implantation des tâches exécutables. Le rôle et les démarches de modélisation et de validation dans ce schéma.

Les journées FAC ont été organisées par le groupe SVF / FéRIA : Spécification, Vérification Formelles. Les journées FAC'2003 ont eu lieu les 12 et 13 mars 2003, auditorium de l’IRIT. Programme des journées : Mercredi 12 mars 2003 9h15 Ouverture des journées Patrick Sallé (Directeur de FéRIA). 9h30-10h30 Conférencier invité Serge Haddad (Lamsade - Université Paris-Dauphine) Algèbre temporisée pour la conception, l’exécution et l’analyse de services Web. 10h30-11h00 Pause

Les journées FAC ont été organisées par le groupe SVF / FéRIA : Spécification, Vérification Formelles. Les journées FAC'2002 ont eu lieu les 26 et 27 mars 2002, salle de Conférence du LAAS. Programme des journées : Mardi 26 mars 2002 09h45-10h00 Accueil des participants - Café 10h00-11h00 Conférencier invité François Terrier (LIST-CEA) UML, de la programmation à la modélisation : vers le développement basé sur les modèles des systèmes embarqués.

Les journées FAC ont été organisées par le groupe SVF / FéRIA : Spécification, Vérification Formelles. Les journées FAC'2001 ont eu lieu les 25 et 26 avril 2001, salle du 1er étage, bâtiment hexagonal du CERT-ONERA. Programme des journées : Mercredi 25 avril 2001 9h00-10h00 Conférencier invité Alain Finkel (ENS Cachan-LSV) Composition et vérification de systèmes de transitions bien structurés. 10h00-10h30 Pause 10h30-12h30 Session 1 : Distribution et Communication Christophe Garion (DTIM-ONERA) Representation and Distribution of Requirements with a logic of Preferences.

Les journées FAC ont été organisées par le groupe SVF / FéRIA : Spécification, Vérification Formelles. Les journées FAC'2000 ont eu lieu les 18 et 19 mai 2000 dans l’auditorium de l’IRIT. Programme des journées : Jeudi 18 mai 2000 09h00-09h15 Ouverture des journées Luis Fariñas (directeur de l’IRIT) 09h15-10h40 Session 1 : Méthodes de Vérification Jean-Paul Bodeveix, Mamoun Filali (IRIT-UPS) Expérimentation de méthodes d’accélération pour la validation de systèmes paramétrés.

Les journées FAC'99 ont été organisées par le groupe de travail FAC (Formalisation des Activités Concurrentes) formé de chercheurs des trois laboratoires toulousains : IRIT-CNRS-UPS-INPT, LAAS-CNRS, DTIM-CERT-ONERA. Les journées FAC'99 ont eu lieu les 25 et 26 février 1999, salle de Conférence du LAAS. Programme des journées : Jeudi 25 février 1999 9h00-10h00 Conférencier invité Guy Juanole (LAAS-CNRS) Sur le modèle réseaux de Petri temporisés stochastiques et le concept d’automate quotient quantifié.

L’atelier AFADL'97 a été organisé par : Le groupe ADER : Développement de Spécifications et de Programmes du GDR de programmation - Pôle preuves et spécifications algébriques et le groupe FAC : Formalisation des Activités Concurrentes (Toulouse). L’atelier AFADL'97 s’est tenu les 28 et 29 mai 1997 dans l’auditorium du CERT-ONERA. Programme de la journée : Mercredi 28 mai 1997 09h15-09h45 Accueil des participants 09h45-10h00 Allocution d’ouverture de l’atelier AFADL René Jacquart (directeur du département DERI-CERT)

Les journées FAC'96 ont été organisées par le groupe de travail FAC (Formalisation des Activités Concurrentes) formé de chercheurs des trois laboratoires toulousains : IRIT-CNRS-UPS-INPT, LAAS-CNRS, DERI-CERT-ONERA. Les journées FAC'96 ont eu lieu les 7 et 8 février 1996, auditorium de l’IRIT. Programme de la journée : Mercredi 7 février 1996 9h00-10h30 Session 1 : Systèmes temps réel critiques Laurent Lacayrelle, Abdelmalek Benzekri, Jean-Michel Bruel (IRIT-UPS) Modèles Z pour une architecture de communication temps réel.