Workshop AFSEC le 9 juin 2011
30th 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”