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.

Les journées FAC'95 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'95 ont eu lieu les 4 et 5 avril 1995, salle de Conférence du LAAS. Programme de la journée : Mardi 4 avril 1995 9h30-11h00 Session 1 : Approches opérationnelles pour la concurrence Frédéric Boniol (DERI-CERT) Processus réactifs communicants synchrones. Pierre Azéma, Jean-Luc Albacete, François Vernadat (LAAS-CNRS) Spécification orientée classe d’un carrefour.

La journée FAC'94 a eu lieu le vendredi 10 juin 1994, salle du 1er étage, bâtiment hexagonal du CERT-ONERA. Programme de la journée : 9h30-10h30 Conférencier invité: Ivan Lavallée, Professeur à l’Université de Paris VII Construire des algorithmes distribués à travers des schémas récursifs. 10h30-11h00 Pause 11h00-12h30 Session 1 : Méthodes Abdelmalek Benzékri, Jean-Michel Bruel, Yves Raynaud (IRIT-UPS) Développement formel d’applications réparties. Guy Durrieu, Michel Lemaître (DERI-CERT) Conception de systèmes matériels par transformation de descriptions purement fonctionnelles synchrones.

La journée FAC'93 a eu lieu le mardi 20 avril 1993, salle de Conférence du LAAS. Programme de la journée : Les réseaux naturels. Pierre Azéma (LAAS-CNRS) Un réseau de Petri, condition-événement, construit une preuve. Il dénote donc un programme. Cette assertion est expliquée au moyen de l’illustration par des réseaux du livre de Girard, preuves et types. Il s’agit de comparer les assertions suivantes: des préconditions, une transition, des postconditions forment un réseau.