Date limite de soumission des sujets :	11/03/07
Fiche choix de stage:	06/04/07
Demande de convention de stage:	02/05/07
Dates du stage :	Du 4 juin au 13 juillet (par défaut)
Remise du rapport de Stage L3 [Par mail] :	31 août 2007
Soutenances de Stage L3 :	7 et 10 septembre 2007

De 14h à 15h20
14h00 - 14h20	Guillaume Munch	Développement d'un lambda-calcul dual non-déterministe pour la logique classique
14h20 - 14h40	Tarik Kaced	Preuves de sécurité exacte pour des protocoles de partage de secret
14h40 - 15h00	Fabien Givors	Machines de Turing et entropie topologique
15h00 - 15h20	Marc Lasson	Collaboration à l'assistant de preuve PML

De 9h à 10h00 devant les futurs L3 (amphi B)
9h00 - 9h20	Olivier Schwander	Identification de visages
9h20 - 9h40	Mathilde Noual	Les jeux CP
9h40 - 10h00	Rémy Bergasse	Stratégies d'évolution dérandomisées
Pause
De 10h20 à 16h30 (salle B2)
10h20 - 10h40	Julien Provillard	Foulards et automates cellulaires élémentaires
10h40 - 11h00	Loïc Magnan	Optimisation et fusion de calculs sur FPGA
11h00 - 11h20	Emmanuel Lassalle	Stratégies probabilistes dans les jeux à deux joueurs
11h20 - 11h40	Raphaël Donzel	Algorithme parallèle d'extraction de fond sur carte graphique
11h40 - 12h00	Pierre-Etienne Meunier	Complexité dans les pavages
Pause de midi
13h30 - 13h50	Pascal Vanier	Probabilités de conflits dans un graphe de flot de contrôle
13h50 - 14h10	Chantal Keller	Manipulation pseudo-haptique d'entités 2D
14h10 - 14h30	Adrien Friggeri	Communautés et dynamique dans les réseaux sociaux
14h30 - 14h50	Lionel Rieg	Coalitions optimales
Pause
15h10 - 15h30	Bruno Grenet	Ordres partiels monotones
15h30 - 15h50	Nicolas Estibals	Génération de code GPU pour un langage intermédiaire data parallel
15h50 - 16h10	Fabien Benureau	Applications Web distribuées en Objective Caml
16h10 - 16h30	Alexandre Derouet-Jourdan	Etude d'un jeu combinatoire récent : le clobber