Travaux de recherche encadrés
Organisation
- Durée : deuxième semestre (fevrier-juin)
- Inscription : début du semestre, après le choix du sujet.
- Evaluation : rapport (15 pages min.) et soutenance finale (presentation orale de 20 min, 10 min de questions).
- Nombre d'étudiants par sujet : en géneral 1 seul.
- Soutenances session 1 : 30 mai 2007 à Chevaleret, salle 6A92, remise du rapport au plus tard le 25 mai a 12h.
- 10h30-11h:
- Mathias Puech, "Allocation des registres"
- 11h30-12h:
- Frederic Tuong, "Le calcul incremental monadique"
- Soutenances session de ratrappage :
le 19 juin 2007 (ratrappage 2eme semestre)
à Chevaleret salle 0D7 (RdC, aile D),
remise de rapports au plus tard le 15 juin a 17h
- 13h-13h30:
- Stephane Zimmermann, "Reconnaissance des graphes sans 'Bull'"
- 13h30-14h:
- Maxime Beauquier, "Verification et recherche de preuve en logique du 1er ordre"
- 14h-14h30:
- Emilie Diot, "Piles de Sable et Codes de Gray"
- 14h30-15h:
- Edlira Nano, "Le calcul incremental monadique"
- 15h-15h30:
- Marcel Ngom, "Etude de la "recursivite" des environnements d'execution"
- 15h30-16h:
- Niv Sardi Altivanik, "La formation des communautes dans Flickr"
- 16h-16h30:
- Frederic Tuong, "Le calcul incremental monadique"
- 16h30-17h:
- Daniel Alves, "Le calcul incremental monadique"
Le travail de recherche encadré (TRE) est obligatoire pour les étudiants qui suivront un M2 Recherche (MPRI ou autre).
Vous souhaitez proposer un TRE
Envoyez votre proposition de TRE aux
enseignants responsables.
Celle-ci doit préciser :
- Le titre du TRE
- Le(s) nom(s) de(s) encadrant(s)
- Les pré-requis ou la liste des cours auxquels le TRE se rapporte (cette liste peut être vide)
- Un lien vers une page web qui décrit plus précisément le stage (à défaut, un fichier)
Par exemple, vous pouvez utiliser le fichier LaTeX.
Propositions de TRE
Les sujets proposés et leur affectation éventuelle sont :