AFSEC

Une journée sur le thème de la concurrence se tiendra le 19 novembre 2013 à l’ENS Cachan.

Lieu : salle 102
Accès : entrer dans le bâtiment d’Alembert par le haut du fer à cheval, monter un étage, aller à gauche et encore à gauche (on se retrouve en fait au-dessus des bureaux du LSV)

Programme :

10h15

• Accueil – café

10h45 – 12h00

• Benedikt Bollig (LSV, CNRS, ENS Cachan)
  Logic for Communicating Automata with Parameterized Topology
• Didier Lime (IRCCyN, École Centrale de Nantes)
  Dépliage symbolique des réseaux de Petri temporels

12h00 – 13h45

• Déjeuner

13h45 – 15h00

• Rémi Morin (LIF, Université d’Aix-Marseille)
  Vérification de MSG à l’aide d’outils
• Yann Thierry-Mieg (LIP6, Université Pierre & Marie Curie, Paris)
  Expressing concurrent system semantics with GAL

15h30 – 16h45

• Loïc Paulevé
  Interpretation of Traces for Asynchronous Automata Networks
• Bernard Berthomieu (LAAS, CNRS, Toulouse)
  Specifying and verifying real time systems with Fiacre/Tina

Contact : Thomas Chatain

This entry was posted on Wednesday, July 10th, 2013 at 16:19 and is filed under Actions Afsec, Journées. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.