ENS de Cachan
Département
Informatique
Visite du









Date
Mercredi 6 janvier 2016
Inscriptions
32 étudiants
Départ
6:59 Gare de Lyon, TGV 6603/5105, arrivée à 11:06.
Rendez-vous à 6:45 à l'entrée du quai pour la remise des billets de train.
Munissez-vous d'une pièce d'identité pour les contrôles à l'entrée du LIRMM.
Retour
18:25 Montpellier, TGV 6220, arrivée à 21:53
Accompagnateur
Etienne Lozes
Coordinateur local
Laurent Imbert

Étudiants

L3

Jean-Gabriel BECHARD, Léo COLISSON, Félix DE FRAMOND, Remi DESGRANGES, Johan GIRARDOT, Emilie GRIENENBERGER, Paul JEANMAIRE, Jules KOZOLINSKY, Alexis LAOUAR, Gabriel LE BOUDER, Kévin LE RUN, Aliaume LOPEZ, Damien MAYAUX, Noël NADAL, Simon NIVELLE, Rémi OUDIN, Pauline POMMERET, Xavier POULOT-CAZAJOUS, Laurent PROSPERI , Clémence REDA, Julien RIXTE, Lucas SERRANO, Arthur TALBOT, Rebecca ZUCCHINI

M1

Emmanuel ARRIGHI, William BABONNAUD, Myriam BEGEL, Louis COHEN, Arnaud GUERQUIN, Mathieu HUOT, Clément RINGEADE, Colin THOMAS

Programme de la visite.

11:06-12:30

Pique-nique, trajet en tram. itineraire: cf http://www.lirmm.fr/contact-et-acces

12:30-15:10

Présentations des équipes.

15:30-17:30

Ateliers en sous-groupe (20-30 minutes par atelier)
  • MAB : Phylogénie statistique (Stéphane Guindon)
  • ESCAPE : Le théorème d'incomplétude de Gödel pour les informaticiens (Andrei Romashchenko)
  • ECO : Du dobble aux codes correcteurs (Eleonora Guerrini, Bruno Grenet)
  • AlGCo : Graphes planaires (Daniel Gonçalves)
  • AlGCo : Combinatoire des mots (Pascal Ochem)
  • TEXTE : Jeux de Mots (Mathieu Lafourcade)
  • GraphIK : Règles existentielles : problèmes ouverts (M.-L. Mugnier et J.-F. Baget)
  • MaREL : Preuve de programmes (David Delahaye)
  • Doctorants : L'expérience de la thèse au LIRMM (conseil des doctorants)
  • Robots: démos robotique (à confirmer)
Horaire MAB MAREL DOCTORANTS ROBOTS ESCAPE GRAPHES COMBINATOIRE TEXTE GRAPHIK ECO
15:30:00 MAB 1   DOCT 1   ESCAPE 1   COMBI 1 TEXTE 1 IK 1 ECO 1
16:00:00 MAB 2     ROB 1 ESCAPE 2 GRAPHES 1 COMBI 2   IK 2 ECO 2
16:30:00   MAREL 1     ESCAPE 3 GRAPHES 2 COMBI 3 TEXTE 2 IK 3  
17:00:00   MAREL 2   ROB 2   GRAPHES 3   TEXTE 3   ECO 3
                     
                     

Propositions de stages


Contacter le Département Informatique
Dernières modifications : le 20/01/2016