|
- 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
|
|
|
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.
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. |
Stages de L3
Stages de M2
- Hugo Gimbert:
Algorithmes pour les Jeux Stochastiques.
- Frédéric Mazoit:
Jeu de gendarme et voleur dans les graphes:
complexité de la monotonisation
- Frédéric Mazoit:
Largeur arborescente des graphes et
dualité topologique: bornes inférieures.
- 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
-
Myriam Desainte-Catherine,
Pierre Hanna et Pierrick Legrand:
Analyse et comparaison des propriétés
timbrales d'un morceau de musique
-
Colette Johnen:
Stratégies d-sûres de téléchargement Pair à Pair de fichier
-
Éric Sopena
Colorations d'incidences
-
Éric Sopena
Coloration orientée des graphes de degré au plus trois
-
Éric Sopena et Paul Dorbec:
Jeux combinatoires partisans de coloration de graphe
-
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 | |