Planning

Soutenances
Voici le planning des soutenances des stages MIM1 : Jeudi 16 septembre - Amphi B

Planning des soutenances - Jeudi 16

9h00-9h20^*	Thomas Hugel	Principes de fonctionnement de l'outil de vérification probab.
9h20-9h40^*	Laurent Braud	Groupage de trafic
9h40-10h00^*	Mikaël Lucas	Aide à la mise en place d'un modèle de réaction-diffusion

10h15-10h35	Remi Brochenin	Logique et automates
10h35-10h55	Etienne Fort	Paramètre d'ordre et transition de phase en apprent. Autom.

11h00-11h20	Benoît Boissinot	Systèmes à image unique pour grappes: Une étude comparative
11h20-11h40	Pierre Clairambault	Preuves de programmes probabilistiques dans coq
11h40-12h00	Laurent Jouhet	Mise au point d'un protocole CDMA dans les réseaux ad hoc

14h00-14h20	Jérôme Wrede	Vers une mobilisation multiparti des grands réseaux d'interaction
14h20-14h40	Aurélien Pardon	Formalisation d'automates de mots infini dans Coq
14h40-15h00	Romain Demangeon	Système d'interférence canonique

15h15-15h35	Eduardo Echavaria	Outil de réalisation d'un tableau de service
15h35-15h55	Alexis Ballier	Transitions de phases dans les automates cellulaires

16h00-16h20	Julien Robert	Implantation d'algorithmes pour le produit modulaire sur circuits FPGA
16h20-16h40	Mathieu Gallet	Implémentation des fonctions hyperboliques
16h40-17h00	Sergeï Lenglet	Typage des modules récursifs d'OCaml

17h10-17h30	Clément Franchini	Ségrégation dans les graphes pondérés
17h30-17h50	Xavier Roche	Etude de théorèmes sur l'existence de solution aux systèmes non linéaires

^* : Séance publique.