Planning des soutenances TEP : version du 13/12/09 les salles seront precisees au plus tard la veille si vous avez des transparents envoyez-les à : Bruno Lesueur Emmanuel Chailloux Gerard Nowak dernirere seance 2009 mardi 15/12 fin apres-midi de 17h30-19h --------------------------- 17h30-17h50 : Martins - Zouaoui : Raffinement de classes dans les langages \xe0 objets statiquement typ\xe9s 17h50-18h10 : Mondat - Todorova : Towards Open Type Functions for Haskell 18h10-18h30 : Ould Amrouch - Deflaoui : Les mod\xe8les classiques de conception objet vus par la programmation ML 18h30-18h50 : Farouk - Maait : Profile-Guided Static Typing for Dynamic Scripting Languages 18h50-19h10 : Puig - Ramine : Integration of Typed and Untyped Code using Like Types jeudi 3/12 après-midi 14h-17h bat 31 2eme etage --------------------- 14h-14h20 :Hoang - Starev : une applet de vérification d'un type pour un lambda-terme (java) 14h20-14h35 : Maried Sidahmed 14h35-14h55h : Baudin - de Waziers : Practical Variable-Arity Polymorphism 15h-15h20 : Cai - Zhu : Applet ou application avec la reprsésentation Alligator Eggs en Java 15h20-15h35 : Chu Qoc : Applet ou application avec la reprsésentation Alligator Eggs en C++ 15h35-15h55 : Bittan - Ye : Les modèles classiques de conception objet vus par la programmation ML 16h05-16h25 : Sababady - Sebaratnam : The Missing Link - Dynamic Components for ML 16h25-16h45 : Robert - Zermati : Scala vendredi 4/12 après-midi : 15h-17h bat 31 2eme etage ------------------------- 15h-15h15 : Dross : A type system for Recursive midles 15h15-15h35 : Joseph - Lesaux : An Extensible Dynamically-Typed Hierarchy of Exceptions 15h35-15h55 : Gaudel - Seladji : ML Modules and Haskell Type Classes 16h05-16h25 : Zhan - Xu : ML Modules and Haskell Type Classes 16h25-16h45 : Reynaud - Wang : évaluation lambda-terme en Java 16h45-17h05 : Bhavsar - Tuan : Practical Variable-Arity Polymorphism mercredi 9/12 matin 9h-13h 56-66 201 ------------------- 9h-9h20 : Kornoukov - Suetina : Raffinement de classes dans les langages à objets statiquement typés 9h20-9h40 : BeaupuyMouret-Camier : Perfect hashing as an almost perfect subtype test. 9h40-10h : Makhlouf - Toklu : The Missing Link - Dynamic Components for ML 10h10-10h30 : Pasciani - France : Evaluation de l'efficacité des implémentations de l'héritage multiple en typage statique 10h30-10h50 : Pillon - Jemaa : Evaluation de l'efficacité des implémentations de l'héritage multiple en typage statique 10h50-11h05 : Mariem Sidahmed : A Type System for Recursive Models 11h05-11h25 : A. Lesaux - L. Joseph : An Extensible Dynamically-Typed Hierarchy of Exceptions 11h25h11h45 : Collet - Savani : Smart Effeil décalés ------- Petit - Vassord : Well-typed programs can't be blame Ortole - Tran : Lucid Synchrone