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.