version du 03/12/06 

* pour indiquer les changements 
** pour indiquer les nouveaux changements
*** derniers changements


vendredi 01/12/06 matin salle TA    : 22 étudiants 
---------------------------------

9h-9h15 : Aspectual Caml 
          Boukhelif Yahia - Ikhteah  

9h20-9h35 : Aspectual Caml 
            Agbodjan - Ponin 

9h40-9h55 : O'Xul 
            Chen 

10h-10h15 : HOP 
            Baudry - Le 

10h20-10h35 :  applet pour la réduction (Java)
               Riby


10h40-10h55 : AlphaCaml 
              Bocande - Huygues des etages 

* 11h-11h15   : HOP
              Guemair - Oulebsir 


11h20-11h35 : HOP 
              Blin - Mbinack 

11h40-11h55 : applet évaluation lambda-termes (camil) 
              Minot - Semczyk  


* 12h00-12h15 : applet pour la réduction (.NET)
              Dworak - Ulrich 

12h15-12h30 : applet de vérification de types (.NET) 
              Nizou - Vallet 

12h30-12h45 : Static analysis for syntax object 
              Andriambahoaka - Saffarian


vendredi 01/12/06 fin de matinée/début d'après-midi salle TA  (12)
-------------------------------------------------------------

12h45-13h00 :   typer le sérialisation
                Leocadie - Ravet 

13h-13h15 : FreshML 
            Buffard - Cavadas 

13h20-13h35 : Applet réduction en lambda-calcul (Java)
              He -  Zou 

13h40-13h55 :  Applet réduction en lambda-calcul (Php)
               Fortune - Mercier

14h-14h15 :  Applet de typage 
            Ben aissi - Chakroun 

14h20-14h35 :  Ocsigen 
               Pham 

14h40-14h55 : analyseurs LR types
              Lopes           

        

vendredi 01/12/06 fin d'après-midi (salle TA)  (6)
----------------------------------

17h15

** Ocsigen : Pham 
** analyseurs LR : Lopes 

17h20-17h35  : SCOL
               Mougenot

* 17h40-17h55  : Ocsigen 
               Delubria - Sandiktsioglou 


18h20-18h35 : Ocsigen 
              Nguyen Hong Diep 
  
18h40-18h55 : MLgmp
              Wang 



lundi 04/12/06   (3)
---------------


horaire à déterminer  : 14h30 ou 18h45 

***   test et portage du plugin O'Caml pour Eclipse 3.2.1
             Cence - Jay 

***  applet d'?valuation des lambda-termes (camil)
              Bardoux