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. Des hypothèses, une déduction, des conclusions forment une preuve. Des types, un constructeur, de nouveaux types forment un calcul. Des agents, un échange, de nouveaux agents forment un système de communication.