ENS de Cachan
Département
Informatique
Visite du LaBRI à Bordeaux









  • Date : Mardi 24 novembre 2009

  • Inscriptions : closes, 33 élèves.

  • Départ : Lundi 23/11/09, Gare Montparnasse, RV 19h00 au début du quai, départ à 19h25

  • Retour : Mardi 24/11/09, Gare Bordeaux Saint Jean, départ 18h23

  • Accompagnateur : Paul Gastin

  • Coordinateurs scientifiques : Anca Muscholl et Marc Zeitoun

La visite

Le LaBRI est une unité de recherche associée au CNRS (UMR 5800), à l'Université Bordeaux 1 à l'ENSEIRB et à l'université Bordeaux 2. Depuis 2002, il est partenaire de l'INRIA. Ses effectifs se sont accrus de façon importante ces dernières années. En janvier 2009, il réunit près de 280 personnes, dont 105 enseignants chercheurs (Bordeaux 1, 2 et 4, ENSEIRB), 29 chercheurs (CNRS, INRIA), 22 personnels administratifs et techniques (Bordeaux 1, ENSEIRB, CNRS, INRIA) et plus de 136 doctorants, post-doctorants et ingénieurs contractuels. Les missions du LaBRI s'articulent autour de trois axes principaux : recherche (théorique, appliquée), valorisation - transfert de technologie et formation. Le soutien du Conseil Régional d'Aquitaine à travers l'extension du bâtiment, des équipements et des bourses de thèse et post-doctorants, a été une des briques essentielles du développement du LaBRI.

Le laboratoire s'est construit initialement autour de recherches en informatique théorique puis a étendu le spectre de ses activités vers des domaines plus appliqués. Aujourd'hui, les membres du LaBRI sont regroupés en six équipes :

Au sein de ces équipes, des activités de recherche sont menées en partenariat avec le centre de recherche INRIA-Bordeaux Sud-Ouest. Aujourd'hui, dix projets/équipes communs LaBRI - INRIA ont vu le jour : Iparla, Phoenix, Run Time, ScalApplix, Signes, Bacchus, Hiepacs, CEPAGE, Magnome, Realopt.

Depuis 2000, une cellule de valorisation et transfert, LaBRI-Transfert, a été mise en place avec le soutien de la CEE et de la Région Aquitaine pour favoriser des actions de transfert ou d'appui technologique dans les champs de compétences du LaBRI auprès de ses partenaires industriels. Les activités de la cellule comprennent la veille technologique, les expertises / conseils, les formations et contribuent régulièrement à la création de nouvelles compétences, d'emplois et d'entreprises.

Les chercheurs et enseignants-chercheurs du LaBRI participent à la formation initiale et continue dans différents établissements de plus de 1300 étudiants inscrits dans les spécialités informatiques du L (Licence), M (Master) et D (Doctorat) mis en place à la rentrée 2003.

A travers des réseaux et structures variés, le LaBRI collabore activement, sur les plans internationaux, européens et français, avec de nombreux laboratoires et entreprises.

Programme

Horaire Programme
09h10 Accueil (Pascal Weil) Amphi du LaBRI.
Groupe 1 - Salle 076 Groupe 2 - Salle 178
09h30-10h00 Hugo Gimbert. Algorithmes pour les jeux stochastiques. [Slides].
Mots-clés: jeux, probabilités et algorithmes.
Yves Métivier. Algorithmique distribuée et calculs locaux dans les graphes. [Slides].
Mots-clés: réseaux anonymes, élection dans un graphe, agents mobiles.
10h00-10h30 Alexandre Denis. Architectures et algorithmes parallèles. [Slides].
Mots-clés: Calcul réparti, architectures multicoeurs.
Philippe Duchon. Énumeration et génération aléatoire. [Slides].
Mots-clés: combinatoire énumérative, matrices à signes alternants.
10h30-11h00 Pause café
11h00-11h30 Éric Sopena. Une incursion dans l'univers des jeux combinatoires. [Slides].
Mots-clés: jeux combinatoires, stratégies, jeux sur des graphes.
Cyril Gavoille. Routage dans l'internet. [Slides].
Mots-clés: grands graphes, approche algorithmique.
11h30-12h00 Bruno Courcelle. Graphes, logique et algorithmes. [Slides].
Mots-clés: décidabilité logique, complexité, algorithmique de graphes.
Géraud Sénizergues. [Slides]. Suites récurrentes de nombres et automates.
Mots-clés: récurrences linéaires, polynomiales, et de mots. Automates finis et à piles de piles.
12h00-12h30 David Auber. Algorithmes pour la visualisation de grands graphes.
Mots-clés: heuristiques pour problèmes difficiles sur les graphes.
Pierre Hanna. Estimation de la similarité musicale. [Slides].
Mots-clés: algorithmes de comparaison de séquences, modélisation de la musique.
12h30-13h30 Déjeuner, RC du bâtiment du LaBRI.
13h30-15h00
Discussions avec les chercheurs (3 × 30mn).
  • Bruno Courcelle. Logiques, graphes, algorithmes, structuration des graphes, grammaires de graphes.
  • Philippe Duchon. Génération aléatoire.
  • Cyril Gavoille. Routage compact dans les graphes.
  • Hugo Gimbert. Jeux, probabilités et algorithmes.
  • Pascal Guitton. Modélisation 3D et interaction 3D.
  • Pierre Hanna. Estimation de la similarité musicale.
  • Colette Johnen. Algorithmique distribuée, algorithmique probabiliste. Calculs locaux, tolérance aux fautes.
  • Dietrich Kuske. Structures automatiques. Application des automates aux mathématiques discrètes.
  • Jérôme Leroux. Accessibilité dans les réseaux de Petri.Vérification, arithmétique de Presburger.
  • Frédéric Mazoit. Jeu de gendarme et voleur dans les graphes. Jeu combinatoire, graphes, complexité.
  • Yves Métivier. Algorithmique distribuée et calculs locaux.
  • Anca Muscholl. Automates, jeux et synthèse distribués.
  • Pierre Ramet. Parallélisme, factorisation de matrices, graphes. Prétraitement pour systèmes linéaires non-symétriques,
  • Éric Sopena et Paul Dorbec. Jeux combinatoires.
15h00-15h30 Pause café
Groupe 1 - Salle imprimante 3D et 076. Groupe 2 - Salle 076 et imprimante 3D.
15h30-16h00 Pascal Desbarats. Acquisition, modélisation et impression 3D.
[Site web] (contenu en ligne janv. 2010).
Olivier Ly. Conception de robots [Site web].
16h00-16h30 Olivier Ly. Conception de robots [Site web]. Pascal Desbarats. Acquisition, modélisation et impression 3D.
[Site web] (contenu en ligne janv. 2010).
16h30-16h45 Conclusion (Pascal Weil) Amphi du LaBRI.

La liste des participants est disponible ici

Les propositions de stages (liste complétée au fur à mesure).

Stages de L3

Stages de M2

  1. Hugo Gimbert: Algorithmes pour les Jeux Stochastiques.
  2. Frédéric Mazoit: Jeu de gendarme et voleur dans les graphes: complexité de la monotonisation
  3. Frédéric Mazoit: Largeur arborescente des graphes et dualité topologique: bornes inférieures.
  4. Frédérique Bassino et Pascal Weil: Génération aléatoire et propriétés génériques des sous-groupes du groupe libre
  5. Myriam Desainte-Catherine, Pierre Hanna et Pierrick Legrand: Analyse et comparaison des propriétés timbrales d'un morceau de musique
  6. Colette Johnen: Stratégies d-sûres de téléchargement Pair à Pair de fichier
  7. Éric Sopena Colorations d'incidences
  8. Éric Sopena Coloration orientée des graphes de degré au plus trois
  9. Éric Sopena et Paul Dorbec: Jeux combinatoires partisans de coloration de graphe

Infos pratiques

  • Départ : rendez-vous le lundi 23 novembre à 19h00 au début du quai, Gare Montparnasse.
    Le départ du train est à 19h25, l'arrivée à 22h29.

  • Hébergement :
    Nous logerons à l'hôtel Victoria Garden de Bordeaux qui se situe au 127, cours de la Somme, 33 800 Bordeaux, Tel: 05 56 33 48 48.

  • Repas :
    • Nous prendrons le petit déjeuner à l'hôtel et le repas de midi au LaBRI.
    • Rien n'est prévu pour les deux repas du soir (lundi et mardi).

  • Transports à Bordeaux :
    • Nous irons de la Gare Saint Jean à l'hôtel en Bus ou à pieds (environ 15 minutes).
    • Nous irons de l'hôtel au LaBRI en Tram, le trajet dure environ 30 minutes.
    • Nous irons du LaBRI à la Gare Saint Jean en Tram + Bus, le trajet dure environ 45 minutes.

  • Pour le retour, nous partirons du LaBRI à 17h15.
    Le train part à 18h23 et arrive à 21h28.


  • Contacter le Département Informatique
    Dernières modifications : le 09/12/2009