AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour May, 2011

Workshop AFSEC le 9 juin 2011

Monday 30 May 2011

Workshop AFSEC (lors des journées du GDR GPL ) le 9 juin 2011 à Lille Polytech, Campus universitaire de Lille 1

Programme des journées du GDR GPL : 8-10 juin 2011

Programme du workshop AFSEC :

  • Albert Benveniste, Timothy Bourke, Benoît Caillaud, and Marc Pouzet (INRIA, Rennes. & Ecole Normale Supérieure, Paris.)
    “Divide and Recycle: Types and Compilation for a Hybrid Synchronous Language”
  • Sandie Balaguer, Thomas Chatain, Stefan Haar (INRIA & LSV (CNRS & ENS Cachan) )
    “Building Tight Occurrence Nets from Reveals Relations”
  • Euriell Le Corronc, Bertrand Cottenceau et Laurent Hardouin (LISA, Université d’Angers)
    “Flow Control with (Min,+) Algebra”

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