AFSEC

Archive pour June, 2018

Workshop AFSEC lors des journées 2018 du GDR GPL

Wednesday 13 June 2018

Un Workshop AFSEC se tiendra le mecredi 13 juin (session 14h-15h30) lors des journées nationales du GDR GPL qui se dérouleront à Grenoble du 12 au 15 juin 2018.

Programme du Workshop AFSEC :

  • Julien Brunel (ONERA)
    Modelling the structure and the behaviour of systems.
  • Loïg Jezequel (Université de Nantes)
    Analyse paresseuse d’atteignabilité dans des réseaux d’automates temporisés..
  • Marc Pouzet (Ecole Normale Supérieure)
    Un peu d’ordre supérieur dans Zélus.

Publié dans Actions Afsec, Journées | Pas de commentaire »