Planning des soutenances TEP  du 07/11/11         
----------------------------

version du samedi 5/11 11h

8h30-9h30:
Clément Danila & Alexandre Michalon - Freedom before commitment 
Strazulla-Vukulenko - Applet d'évaluaiton du lambda-calcul (F#) 
Xuan Hoan Nguyen & Mussab Zneika - Parallel Concurrent ML 

9h30-10h30:
Gary Benatar & Yoann Couillec - Extension de Langage par les Valeurs Virtuelles 
Aurélien Deharbe & Jérémie Salvucci - Lightweight monadic Programming in ML 
Ditaranto & Sipasseuth - Declaratively Programming the Mobile Web with Mobl 

10h30-1050 : pause

10h50-11h50:
Anhad Mohamad Ali & Karim Turki - Integrated Typed and Untypes Code in a scripting Language - 3/11 
Benoit Goepfert & Shiyue Wang -  Applet d'évaluation du lambda-calcul (Scala)  
Adel DJOUDI & Joseph Afari - Nameless, Painless 

11h50-13h10:
Michael Werner & Virginie HUA - Efficient Local Type Inference 
Aurore Crespin & Sarah Moussouni - Making Standard a Practical Database Programming Language 
Qing Wang & Yu Chen - A Semantic Model for Graphical User Interface 
slot libre

14h-15h
 Quan Guo & Jiyun Yang - Runtime Suport for Multicore Haskell 
Abdelhamid Chhet & Ali Bona Massimia - Type Checking Modular Multiple Dispatch with Parametric Polymorphism and multiple inheritence 
Serge Aradj &  Jean Baucher  - ALligator Eggs en F# 

15h-16h
Alexandre Hebert & Thomas Champion - Parallel Concurrent ML  
Dorian Malbranque & Badredine Kettaf - Inference dynamique de types statiques pour Ruby 
Amire ourrad & Montasar Oueriemmi - An Efficient Non-Moving Garbage Collector for Functional Language