Visite de l’ENS Cachan Bretagne à Bordeaux, 5 – 6 janvier 2011

Cette page présente le programme de la visite à Bordeaux, les 5 et 6 janvier 2011, du Magistère Informatique et télécommunications de l'ENS Cachan – Antenne de Bretagne.

Participants :

Accompagnateurs : Luc Bougé, David Cachera, Delphine Demange et Amélie Stainer

Arrivée à Bordeaux : mercredi 5 janvier à 13h

Départ de Bordeaux : jeudi 6 janvier à 15h30

Coordinateurs scientifiques : Luc Bougé et Grégoire Sutre

Mercredi 5 janvier
Déjeuner
Présentation Générale (Amphi du LaBRI)
14h30 – 16h00
  • Laboratoire Bordelais de Recherche en Informatique (Pascal Weil) PDF
  • Centre de Recherche INRIA Bordeaux – Sud-Ouest (Isabelle Terrasse) PDF
  • Combinatoire et Algorithmique (Ralf Klasing) PDF
  • Image et Son (Jean-Philippe Domenger) PDF
  • Langages, Systèmes et Réseaux (Serge Chaumette)
  • Méthodes Formelles (Anca Muscholl) PDF
  • Modèles et algorithmes pour la Bioinformatique et la Visualisation d'informations (Guy Mélançon) PDF
  • Supports et AlgoriThmes pour les Applications Numériques hAutes performanceS (Raymond Namyst) PDF
16h00 – 16h30 Pause café
Session A (Salle 076) Session B (Salle 178)
16h30 – 17h00 Christian Retoré. Logique, linguistique et informatique: vers des modèles formels de la compréhension humaine du langage ordinaire. PDF Bruno Courcelle. Logique et graphes; vérification de propriétés. PDF
17h00 – 17h30 David Sherman. Modèles et algorithmes pour le génome. PDF Cédric Augonnet. Utilisation de cartes graphiques pour accélérer le Calcul Haute Performance. PDF
17h30 – 18h00 Paul Dorbec. Domination, power domination et domination game, quelques variantes autour de ce problème classique de graphes. PDF Arnaud Pêcher. Comment placer au mieux des rectangles sans chevauchement ? PDF
Jeudi 6 janvier
Session A (Salle 076) Session B (Salle 178)
9h00 – 9h30 Serge Chaumette. Flottes sécurisées de terminaux mobiles autonomes communicants. Xavier Granier. Entre Réel et Virtuel : Créer, Acquérir et Interagir avec les Mondes 3D. PDF
9h30 – 10h00 Anca Muscholl. Aperçu sur le contrôle distribué. PDF Charles Consel. Orchestration d'objets communicants : concevoir, développer, et vérifier. PDF
10h00 – 10h30 David Auber. Visual analytics for social networks analysis. Olivier Beaumont, Nicolas Bonichon, Lionel Eyraud-Dubois, David Ilcinkas. Chercher et Essaimer dans les Plates-formes à Grande Echelle. PDF
10h30 – 11h00 Pause café
Discussions avec les chercheurs, 3 × 30mn (Salles RdC ou bureaux)
11h00 – 12h30
Déjeuner
Plateformes Technologiques INRIA (Amphi du LaBRI)
13h30 – 14h15 François Rué. Présentation de PlaFRIM. PDF
14h15 – 15h00 Emmanuel Jeannot. Présentation de Grid'5000. PDF
15h00 – 15h30 Pause café & Conclusion
Grégoire Sutre
Valid XHTML 1.0 Strict Valid CSS!