Les invités des journées FAC






- Les journées FAC « Formalisation des Activités Concurrentes » ont été organisées de 1995 à 1999 par le groupe de travail FAC formé de chercheurs des trois laboratoires toulousains : IRIT-CNRS-UPS-INPTLAAS-CNRSDERI-CERT-ONERA.
- Depuis la création de la fédération FéR IA en 2000, elles sont organisées par le groupe SVF « Spécification, Vérification Formelles » de Fé RIA .