Fédération de Recherche en Informatique et Automatique.

Spécification, Vérification Formelles.

---

Réunions SVF

Les rencontres SVF ont lieu en règle générale le premier mardi de chaque mois. Suivant le cas, ces rencontres consistent en un séminaire avec un exposé focalisé ou une demi-journée thématique constituée par 2 à 3 exposés suivis par une discussion générale.

Les réunions ont lieu à tour de rôle dans chacun des trois laboratoires :

LAAS / (accès) , ONERA-CERT / (accès) et IRIT / (accès) .

Programme des saisons précédentes : 2002/2003       2001/2002       2000/2001

Ces journées sont ouvertes à tous. Les personnes extérieures au thème SVF désirant être prévenues des annonces de ces manifestations sont invitées à envoyer un mail .

Mardi 21 Octobre 2003 - 14H      Salle Europe LAAS

     Assemblée Générale

• Présentation des projets internes FéRIA/SVF accès

• Point sur les soumissions/contrats/actions en cours

• Vie du Thème

Mardi 04 Novembre 2003 - 14H      Salle Europe LAAS

     Tanguy Urvoy - urvoy@irit.fr - IRIT-CNRS

     Graphes infinis et familles de langages résumé       transparents

Mardi 02 Décembre 2003 - 14H      Salle de Conférences LAAS

     1/2 Journée Thématique: ``ADL: Langages de description d'Architectures''

    Programme - Coordination : Mamoun Filali      filali@irit.fr       IRIT-CNRS

Mardi 06 Janvier 2004 - 14H      Salle du Boulon CERT

     Christophe Ailleres - ailleres@cert.fr - ONERA-DTIM

     Validation de systèmes interactifs centrée sur l'usager.

résumé       slides

Lundi 26 Janvier 2004 - 14H      Salle Europe LAAS

     Aymeric Vincent - aymeric.vincent@labri.fr - Labri Bordeaux

     Conception et réalisation d'un vérificateur de modèles AltaRica

résumé       slides

Mardi 03 Février 2004      Salle du Boulon CERT

     Journée ``Certification et méthodes formelles'' Programme

Organisée par le Club SEE- SIC "Systèmes Informatiques de Confiance"

     Coordination : Christel Seguin      seguin@cert.fr       ONERA-DTIM

---

---

     Journées FAC'2004 au CERT les 9 et 10 Mars 2004 CFP

---

---

Mardi 04 Mai 2004 -14H00      Salle des Thèses IRIT

     1/2 Journée Thématique: ``Outils de Validation''       Programme

    

Coordination :	Virgine Wiels      wiels@cert.fr      ONERA-DTIM
	& Francois Vernadat      vernadat@laas.fr      LAAS-CNRS

Mardi 01 Juin 2004 15H -17H      Salle des Thèses IRIT

     1/2 Journée Thématique: ``Scénarios''       Programme

     Coordination : Pierre Michel      michel@cert.fr      ONERA-DTIM