Salle des Illustres (Toulouse) -> Page d'accueil générale FAC

Journées FAC'2010

31 mars et 1er avril 2010    -    ONERA - Centre de Toulouse

 		FéRIA

Formalisation des Activités Concurrentes.
Organisées par le groupe SVF / FéR IA : Spécification, Vérification Formelles.



Les journées FAC'2010 auront lieu les 31 mars et 1er avril 2010, salle du 1er étage du bâtiment d'accueil à l'ONERA.


Avant Propos

Appel à communications

Programme de la journée (à venir)

Actes (à venir)

Site du groupe SVF/ FéR IA


Préalablement aux journées FAC, José Luiz Fiadeiro donnera un cours intensif de 2 fois 3 h le 30 mars (dans la même salle) sur la théorie des catégories appliquée à l'architecture des logiciels et systèmes.
dernière maj de cette page le 24/11/2010.