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 des journées

Actes

Liste des participants

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 29/03/2010.