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

Si vous avez des difficultes de transport, possibilite de soutenir lundi 26/11 apres 12h.



10h : The missing link - dynamic components in ML : Bareche - Maringer

10h20 : A multiparadigmatic study of the Object-Oriented Design Pattern : Nguyen - Wirth

10h40 : une applet Java pour le lambda-calcul en forme de crocodiles : Coppola - Kehr - Ollivier 

11h10 :  une applet ou une application de vérification d'un type pour un lambda-terme : Affi - Gung 

11h30 :  Extensible Pattern Matching via a Lightweight Language Extension  : Martin - Souny