Les journées FAC'95 ont été organisées par le groupe de travail FAC (Formalisation des Activités Concurrentes) formé de chercheurs des trois laboratoires toulousains : IRIT-CNRS-UPS-INPT, LAAS-CNRS, DERI-CERT-ONERA.

Les journées FAC'95 ont eu lieu les 4 et 5 avril 1995, salle de Conférence du LAAS.

Programme de la journée :

Mardi 4 avril 1995

  • 9h30-11h00 Session 1 : Approches opérationnelles pour la concurrence

    • Frédéric Boniol (DERI-CERT) Processus réactifs communicants synchrones.

    • Pierre Azéma, Jean-Luc Albacete, François Vernadat (LAAS-CNRS) Spécification orientée classe d’un carrefour.

    • Ahmed El Hadiri, Jean-Louis Durieux (IRIT-UPS) Les morphismes dans les réseaux de Petri.

  • 11h00-11h30 Pause

  • 11h30-12h30 Conférencier invité Luc Bougé (ENS Lyon)
    Du parallélisme de contrôle au parallélisme de données : le point de vue de la validation de programmes.

  • 12h30-14h00 Repas

  • 14h00-15h30 Session 2 : Vérification par preuve

    • Jean-Paul Bahsoun, Stephan Merz, Corinne Servières (IRIT-UPS) Une logique temporelle pour les objets concurrents, et sa procédure de décision.

    • Christel Seguin, Virginie Wiels (DERI-CERT) Un cadre logique et compositionnel pour la conception de systèmes concurrents.

    • Pierre Bieber (DERI-CERT) Spécification et vérification avec la méthode B d’un protocole de sécurité.

  • 15h30-16h00 Pause

  • 16h00-17h30 Session 3 : Approches fonctionnelles pour la concurrence

    • Camille Le Moniès de Sagazan, Bernard Berthomieu (LAAS-CNRS) Une méthodologie de typage polymorphe des calculs de processus à liaison noms-canaux dynamique.

    • Annie Marcoux, Christine Maurel, Pascal Prieur (IRIT-UPS) La sémantique de la concurrence de PlasmaII dans le système Centaur.

    • Christophe Coustet, Frédéric Boniol (DERI-CERT) Un apport du modèle fonctionnel à la définition de systèmes temps-réel.

Mercredi 5 avril 1995

  • 09h30-10h30 Conférencier invité Robert de Simone (INRIA-Sophia)
    Méthodes de vérification par interprétation en modèles finis.

  • 10h30-11h00 Pause

  • 11h00-12h00 Session 4 : Vérification par modèle

    • François Michel, François Vernadat (LAAS-CNRS) Réduction de graphe par symétries.

    • Nabil Hameurlain, Christophe Sibertin-Blanc (IRIT-UPS)
      Graphe des marquages symboliques minimal pour réseaux de Petri Objets.