Programme des soutenances du lundi 12/11/2007
---------------------------------------------

9h : Semantics of static pointcuts in AspectJ (pdf) Guclu - Mantoux

9h20 : Static Contract Checking for Haskell (pdf) Ravelojaona - Sevetian

9h40 : analyseurs LR typés : papier workshop ML en pdf et système menhir Loiza - Pautet

10h : typeplug : practival, types pluggables (pdf) Durao - Laurent 

10h20 : Static analysis for syntax objects - Fisher - Shivers (ps) Ait Brahim - Entezami

10h40 : Operational Semantics for Multi-Language Programs (cf lien) Mhoma - Theunissen

11h : extension du plugin Eclipse ocaide pour O'Caml Bros

11h20 : une applet Java pour le lambda-calcul en forme de crocodiles (voir lien) 
  Rodrigues - Tekkal 

11h40 : Tangible Functional Programming (pdf) et système Eros - Giraud