14 septembre 2006
ENS-Lyon
Amphi H (côté DSM)
| De 8h à 9h |
| 8h00 - 8h20 |
Bertrand MARC |
Calcul de polyèdres dans la vérification de systèmes hybrides |
| 8h20 - 8h40 |
Xavier PUJOL |
Évaluation de fonctions élémentaires en virgule flottante sur FPGA |
| 8h40 - 9h00 |
Thomas BRAIBAN |
Définition et implémentation d'une machine abstraite |
| La séance publique ouverte aux L3 promo: 2006/2007 |
| 9h00 - 9h20 |
Thibault BALABONSKI |
Automates de sable et langages |
| 9h20 - 9h40 |
Vincent NIVOLIERS |
Partitions spaciale soumises à contraintes |
| 9h40 - 10h00 |
Jeremy PLANUL |
Customisation du processeur Xtensa pour le calcul par intervalles |
| De 10h15 à 17h30 |
| 10h15 - 10h35 |
Nicolas PERRIN |
Automates avec visibilité et automates à mémoire |
| 10h40 - 11h00 |
Etienne MIRET |
Outils de maintenance pour les preuves formelles |
| 11h05 - 11h25 |
Jerome CONTANT |
Chemins hamiltoniens dans un graphe triangulé |
| 11h30 - 11h50 |
Martin DELACOURT |
Automates cellulaires |
| Pause |
| 13h30 - 13h50 |
Aline PARREAU |
Vulgariser la démarche scientifique en mathématique en donnant accès à des questions proches de la recherche actuelle |
| 13h55 - 14h15 |
Benjamin COHEN |
Visualisation de fractale par lancer de rayon |
| 14h20 - 14h40 |
Florian HATTAT |
Formalisation d'ensembles dénombrables en Coq |
| 14h45 - 15h05 |
Omar FAWZI |
Mise en gage quantique |
| Pause |
| 15h30 - 15h50 |
Adrien PANHALEUX |
Modèle de la main pour une préhension interactive |
| 15h55 - 16h15 |
Denis KUPERBERG |
Piles de sable en mode parallèle |
| 16h20 - 16h40 |
Sylvain DUCTOR |
Réseaux sociaux, projection de graphes et apprentissage de similarités |
| 16h45 - 17h05 |
Anne-Cecile ORGERIE |
Protocoles de transport hautes performances |
| 17h10 - 17h30 |
Fanny DUFOSSE |
Etude algorithmique des jeux basés sur des modèles de graphes |
|