- Cet évènement est passé
Journées nationales 2013
21 janvier 2013 @ 0 h 00 min - 22 janvier 2013 @ 0 h 00 min
Les journées nationales 2013 du GDR IM auront lieu les lundi 21 janvier et mardi 22 janvier à l’Ecole Normale Supérieure de Lyon, Amphi Mérieux, situé sur le site Monod.
Programme – Amphi Mérieux – Plan
Liste des inscrits
(dernière modification : 17/1/2013)
| Nom | Prénom | Affiliation | Groupe(s) de travail |
|---|---|---|---|
| Markey | Nicolas | CNRS & ENS Cachan, LSV | Jeux Vérification |
| Mezzarobba | Marc | Inria, ENS de Lyon | Arithmétique Calcul formel |
| Provençal | Xavier | Université de Savoie | Géométrie discrète |
| Nadeau | Philippe | CNRS, ICJ, Université Lyon 1 | Alea Combinatoire algébrique |
| RIEG | Lionel | ENS de Lyon, LIP | Géométrie du calcul |
| Gavoille | Cyril | Université de Bordeaux | Graphes Informatique quantique Conception d’algorithmes |
| Ossona de Mendez | Patrice | CAMS – CNRS UMR 8557 | Graphes |
| Aubrun | Nathalie | ENS de Lyon, CNRS | SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Stehle | Damien | ENS de Lyon, LIP | Codage et cryptographie |
| Banderier | Cyril | CNRS / Univ. Paris 13, LIPN | Alea |
| Grenet | Bruno | LIP – ÉNS de Lyon | Modèles de calcul, modèles finis et complexité Conception d’algorithmes |
| Pêcher | Arnaud | Université de Bordeaux 1, LaBRI | Graphes |
| BAJARD | Jean Claude | LIP6 UPMC CNRS | Arithmétique Codage et cryptographie |
| Remila | Eric | Université de Lyon | SDA2: Systèmes dynamiques, Automates et Algorithmique Conception d’algorithmes |
| CHAUVIN | Brigitte | Université de Versailles Saint-Quentin | Alea |
| Graham-Lengrand | Stéphane | CNRS | Logique, algèbre et calcul |
| Bedaride | Nicolas | Université Aix Marseille, LATP | SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Trunck | Théophile | ENS Lyon, LIP | Graphes SDA2: Systèmes dynamiques, Automates et Algorithmique Informatique quantique Modèles de calcul, modèles finis et complexité |
| LAGOUTTE | Aurélie | LIP, ENS Lyon | Graphes SDA2: Systèmes dynamiques, Automates et Algorithmique Informatique quantique Modèles de calcul, modèles finis et complexité |
| Esperet | Louis | CNRS, Laboratoire G-SCOP | Graphes |
| Ron | Steinfeld | Monash University, Clayton School of IT | Aucun |
| BHATTACHARYYA | RISHIRAJ | INRIA/ENS-LYON/LIP/ARIC | Codage et cryptographie |
| ROUSSILLON | Tristan | INSA de Lyon / LIRIS | Géométrie discrète |
| Nicodeme | Pierre | CNRS – LIPN – Univ Paris13 | Alea Combinatoire des mots, algorithmique du texte et du génome SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Jeannerod | Claude-Pierre | INRIA, laboratoire LIP (ENS de Lyon) | Arithmétique Calcul formel |
| Salvy | Bruno | INRIA | Alea Calcul formel |
| Lairez | Pierre | Inria | Calcul formel |
| Hun | Kanal | Université de Caen, GREYC | Alea Combinatoire algébrique |
| Mairesse | Jean | CNRS et Université Paris 7; LIAFA | Alea SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Theyssier | Guillaume | LAMA (CNRS, Université de Savoie) | SDA2: Systèmes dynamiques, Automates et Algorithmique Modèles de calcul, modèles finis et complexité |
| Oger | Bérénice | Université Lyon 1, ICJ | Combinatoire algébrique |
| Fernique | Thomas | CNRS & Univ. Paris 13 | Alea Combinatoire des mots, algorithmique du texte et du génome SDA2: Systèmes dynamiques, Automates et Algorithmique Géométrie discrète Modèles de calcul, modèles finis et complexité |
| Durand | Arnaud | Université Paris Diderot | Modèles de calcul, modèles finis et complexité |
| BIDOIT | Michel | CNRS/INS2I | Aucun |
| Laurent | Olivier | CNRS, LIP | Géométrie du calcul Logique, algèbre et calcul |
| Berthe | Valerie | LIAFA-CNRS-Paris Diderot | Combinatoire des mots, algorithmique du texte et du génome SDA2: Systèmes dynamiques, Automates et Algorithmique Arithmétique Géométrie discrète |
| Regnault | Damien | Université d’Evry-Val-D’essonne | SDA2: Systèmes dynamiques, Automates et Algorithmique Conception d’algorithmes |
| Chapuy | Guillaume | CNRS et Université Paris Diderot, LIAFA | Alea Combinatoire algébrique |
| Revol | Nathalie | INRIA – LIP, ENS de Lyon | Arithmétique |
| Hoang-Nghia | Nguyen | LIPN, université Paris 13 | Combinatoire des mots, algorithmique du texte et du génome Combinatoire algébrique Graphes Calcul formel Logique, algèbre et calcul |
| Hoang-Nghia | Nguyen | LIPN, Université Paris 13 | Combinatoire algébrique Graphes Calcul formel |
| Limouzy | Vincent | LIMOS – Univ. Blaise Pascal | Graphes Conception d’algorithmes |
| Kanté | Mamadou Moustapha | Clermont-Université, LIMOS | Graphes |
| Espians | Jérémy | Université de Lyon 1, LIRIS | Géométrie algorithmique |
| Levallois | Jérémy | INSA de Lyon, LIRIS – LAMA | Géométrie discrète |
| Boldo | Sylvie | Inria Saclay, LRI | Arithmétique Vérification |
| Strozecki | Yann | Université de Versailles | Modèles de calcul, modèles finis et complexité |
| Torres | Serge | Ens de Lyon, LIP, UMR5568 | Aucun |
| MULLER | Jean-Michel | CNRS, laboratoire LIP | Arithmétique |
| Hejda | Tomas | LIAFA (Paris 7) and CTU Prague Czech Rep | SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Mercat | Christian | Univ. Claude Bernard Lyon 1, S2HEP, IREM | Géométrie discrète |
| Lazarus | Francis | CNRS | Géométrie algorithmique Conception d’algorithmes |
| Sablik | Mathieu | LATP | Alea SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Bedaride | Nicolas | Université Aix Marseille, LATP | SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Fuchs | Laurent | Université de Poitiers, XLIM-SIC | Modélisation géométrique |
| Fabien | Laguillaumie | Univ. Lyon 1, LIP | Codage et cryptographie |
| CHASSERY | Jean-Marc | CNRS, GIPSA-lab | Géométrie discrète |
| guerrini | eleonora | université montpellier 2, LIRMM | Calcul formel Codage et cryptographie |
| Sopena | Eric | Université Bordeaux 1 | Graphes |
| Renault | Gabriel | Université Bordeaux 1, LaBRI | Graphes |
| Hirschkoff | Daniel | ENS Lyon | Géométrie du calcul Logique, algèbre et calcul |
| Mouilleron | Christophe | ENSIIE, Evry | Arithmétique Calcul formel |
| Madiot | Jean-Marie | ENS Lyon | Géométrie du calcul Logique, algèbre et calcul |
| de Rugy-Altherre | Nicolas | Paris VII | Modèles de calcul, modèles finis et complexité |
| Lafond | Thomas | LIRIS | Géométrie discrète |
| CHAUVIN | Brigitte | Université de Versailles Saint-Quentin | Alea |
| Clément | Julien | CNRS, Université de Caen | Alea Combinatoire des mots, algorithmique du texte et du génome SDA2: Systèmes dynamiques, Automates et Algorithmique Codage et cryptographie |
| Marcovici | Irène | LIAFA, Université Paris Diderot | Alea SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Richomme | Gwenaël | Univ. Montpellier 3 et LIRMM | Combinatoire des mots, algorithmique du texte et du génome SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Soria | Michèle | Université Paris 6 | Alea |
| Busic | Ana | INRIA, DI ENS | Alea SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Meunier | Pierre-Etienne | Postdoc lama (Savoie) / liafa (Paris 7) | SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Lecroq | Thierry | Université de Rouen, LITIS EA 4108 | Combinatoire des mots, algorithmique du texte et du génome |
| Hellouin de Menibus | Benjamin | Université d’Aix-Marseille | Alea SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Thierry | Eric | ENS Lyon, LIP | |
| Guillon | Bruno | LIAFA – Université Paris-Diderot, Paris7 | SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Méloni | Nicolas | Université de Toulon, laboratoire IMATH | Codage et cryptographie |
| segoufin | luc | INRIA & ENS Cachan | Modèles de calcul, modèles finis et complexité Vérification |
| Baillot | Patrick | CNRS, LIP | Géométrie du calcul Logique, algèbre et calcul |
| Gerard | Yan | Université d’Auvergne, ISIT | Géométrie discrète |
| Pous | Damien | CNRS, LIP, ENS Lyon | Géométrie du calcul |
| Blot | Valentin | ENS Lyon, LIP | Aucun |
| Tavenas | Sébastien | LIP | Modèles de calcul, modèles finis et complexité Conception d’algorithmes |
| Kucherov | Gregory | CNRS/LIGM Marne-la-Vallée | Combinatoire des mots, algorithmique du texte et du génome |
| Vuillon | Laurent | Université de Savoie, LAMA | SDA2: Systèmes dynamiques, Automates et Algorithmique Géométrie discrète |
| Bodini | Olivier | Université P13, LIPN | Alea |
| Coeurjolly | David | CNRS, Université de Lyon | Géométrie discrète |
| Devigne | Julien | Université de Caen, GREYC | Codage et cryptographie |
| Rao | Michael | CNRS – LIP – ENS Lyon | Combinatoire des mots, algorithmique du texte et du génome Graphes |
| Beffara | Emmanuel | IML, Université d’Aix-Marseille | Géométrie du calcul |
| Langlois | Adeline | ENS Lyon | Codage et cryptographie |
| MARTIN-DOREL | Erik | INRIA Sophia Antipolis | Arithmétique Calcul formel Vérification |
| Vallée | Brigitte | CNRS | Alea Combinatoire des mots, algorithmique du texte et du génome SDA2: Systèmes dynamiques, Automates et Algorithmique Arithmétique Codage et cryptographie |
| Novelli | Jean-Christophe | LIGM, Univ. Paris-Est Marne-la-Vallee | Alea Combinatoire algébrique |
| VIEIRA MILREU | PAULO | INRIA | Combinatoire des mots, algorithmique du texte et du génome |
| Blot | Valentin | ENS de Lyon, LIP | Géométrie du calcul Logique, algèbre et calcul |
| Muscholl | Anca | LaBI, Univ. Bordeaux | Jeux |
| BIAGIOLI | Riccardo | ICJ Université Lyon 1 | Combinatoire algébrique |
| Petit | Barbara | Inria Grenoble | Géométrie du calcul Logique, algèbre et calcul |
| LEFEVRE | Jonas | LIX | Modèles de calcul, modèles finis et complexité |
| Imbert | Laurent | CNRS, LIRMM, Montpellier | Arithmétique Calcul formel Codage et cryptographie |
| Briquel | Irénée | Université d’Orléans | Modèles de calcul, modèles finis et complexité |
| Becker | Florent | Université d’Orléans, LIFO | SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Didier | Laurent-Stéphane | Université de Toulon, IMATH | Arithmétique |
| Lescanne | Pierre | LIP, ENS de Lyon | Logique, algèbre et calcul |
| Giambruno | Laura | Université de Caen, GREYC | Alea Combinatoire des mots, algorithmique du texte et du génome SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Jugé | Vincent | LIAFA (Paris 7) & Mines Paris | Alea SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Hahmann | Stefanie | Université Grenoble, LJK-INRIA | Modélisation géométrique |
| Trotignon | Nicolas | CNRS, ENS de Lyon | Graphes |
| Sivignon | Isabelle | CNRS, GIPSA-lab | Géométrie discrète |
| Pouzet | Maurice | ICJ Universite Claude-Bernard Lyon1 | Aucun |
| Gouaty | Gilles | LIRIS UMR 5205 CNRS | Modélisation géométrique |
| Kucherov | Gregory | CNRS, LIGM Marne-la-Vallée | Combinatoire des mots, algorithmique du texte et du génome |
| Baudrier | Etienne | Université de Strasbourg | Géométrie discrète |
| duchene | eric | LIRIS Lyon 1 | Graphes |
| NEGGAZI | Brahim | Université Lyon 1, LIRIS | Graphes Conception d’algorithmes |
| Maffray | Frédéric | CNRS, G-SCOP, Grenoble | Graphes |
| Sebo | Andras | CNRS | Graphes |
| GASSE | Maxime | Université Lyon 1, laboratoire LIRIS | Modèles de calcul, modèles finis et complexité |
| FAYE | Pascal François Mb. | Laboratoire LIRIS | Graphes SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Fabbri | André | Université de Lyon, LIRIS | Aucun |
| Lachaud | Jacques-Olivier | Université de Savoie, LAMA | Géométrie discrète |
| Bournez | Olivier | LIX | Modèles de calcul, modèles finis et complexité |
| Portier | Natacha | ENS Lyon, LIP | Informatique quantique Modèles de calcul, modèles finis et complexité |
| Koiran | Pascal | ENS Lyon, LIP | Informatique quantique Modèles de calcul, modèles finis et complexité |
| Sinaimeri | Blerina | INRIA, Bamboo-Baobab | Graphes Conception d’algorithmes |
| Li | Zhentao | LIP, ENS Lyon | Graphes |
| Sinaimeri | Blerina | INRIA, Bamboo-Baobab | Graphes Conception d’algorithmes |
| Stehlik | Matej | UJF, G-SCOP | Graphes |
| Sinaimeri | Blerina | INRIA, Bamboo-Baobab team | Graphes Conception d’algorithmes |
| Nom | Prénom | Affiliation | Groupe(s) de travail |
|---|---|---|---|
| Markey | Nicolas | CNRS & ENS Cachan, LSV | Jeux Vérification |
| Mezzarobba | Marc | Inria, ENS de Lyon | Arithmétique Calcul formel |
| Provençal | Xavier | Université de Savoie | Géométrie discrète |
| Nadeau | Philippe | CNRS, ICJ, Université Lyon 1 | Alea Combinatoire algébrique |
| RIEG | Lionel | ENS de Lyon, LIP | Géométrie du calcul |
| Gavoille | Cyril | Université de Bordeaux | Graphes Informatique quantique Conception d’algorithmes |
| Ossona de Mendez | Patrice | CAMS – CNRS UMR 8557 | Graphes |
| Aubrun | Nathalie | ENS de Lyon, CNRS | SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Stehle | Damien | ENS de Lyon, LIP | Codage et cryptographie |
| Banderier | Cyril | CNRS / Univ. Paris 13, LIPN | Alea |
| Grenet | Bruno | LIP – ÉNS de Lyon | Modèles de calcul, modèles finis et complexité Conception d’algorithmes |
| Pêcher | Arnaud | Université de Bordeaux 1, LaBRI | Graphes |
| BAJARD | Jean Claude | LIP6 UPMC CNRS | Arithmétique Codage et cryptographie |
| Remila | Eric | Université de Lyon | SDA2: Systèmes dynamiques, Automates et Algorithmique Conception d’algorithmes |
| CHAUVIN | Brigitte | Université de Versailles Saint-Quentin | Alea |
| Graham-Lengrand | Stéphane | CNRS | Logique, algèbre et calcul |
| Bedaride | Nicolas | Université Aix Marseille, LATP | SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Trunck | Théophile | ENS Lyon, LIP | Graphes SDA2: Systèmes dynamiques, Automates et Algorithmique Informatique quantique Modèles de calcul, modèles finis et complexité |
| LAGOUTTE | Aurélie | LIP, ENS Lyon | Graphes SDA2: Systèmes dynamiques, Automates et Algorithmique Informatique quantique Modèles de calcul, modèles finis et complexité |
| Esperet | Louis | CNRS, Laboratoire G-SCOP | Graphes |
| Ron | Steinfeld | Monash University, Clayton School of IT | Aucun |
| BHATTACHARYYA | RISHIRAJ | INRIA/ENS-LYON/LIP/ARIC | Codage et cryptographie |
| ROUSSILLON | Tristan | INSA de Lyon / LIRIS | Géométrie discrète |
| Nicodeme | Pierre | CNRS – LIPN – Univ Paris13 | Alea Combinatoire des mots, algorithmique du texte et du génome SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Jeannerod | Claude-Pierre | INRIA, laboratoire LIP (ENS de Lyon) | Arithmétique Calcul formel |
| Salvy | Bruno | INRIA | Alea Calcul formel |
| Lairez | Pierre | Inria | Calcul formel |
| Hun | Kanal | Université de Caen, GREYC | Alea Combinatoire algébrique |
| Mairesse | Jean | CNRS et Université Paris 7; LIAFA | Alea SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Theyssier | Guillaume | LAMA (CNRS, Université de Savoie) | SDA2: Systèmes dynamiques, Automates et Algorithmique Modèles de calcul, modèles finis et complexité |
| Oger | Bérénice | Université Lyon 1, ICJ | Combinatoire algébrique |
| Fernique | Thomas | CNRS & Univ. Paris 13 | Alea Combinatoire des mots, algorithmique du texte et du génome SDA2: Systèmes dynamiques, Automates et Algorithmique Géométrie discrète Modèles de calcul, modèles finis et complexité |
| Durand | Arnaud | Université Paris Diderot | Modèles de calcul, modèles finis et complexité |
| BIDOIT | Michel | CNRS/INS2I | Aucun |
| Laurent | Olivier | CNRS, LIP | Géométrie du calcul Logique, algèbre et calcul |
| Berthe | Valerie | LIAFA-CNRS-Paris Diderot | Combinatoire des mots, algorithmique du texte et du génome SDA2: Systèmes dynamiques, Automates et Algorithmique Arithmétique Géométrie discrète |
| Regnault | Damien | Université d’Evry-Val-D’essonne | SDA2: Systèmes dynamiques, Automates et Algorithmique Conception d’algorithmes |
| Chapuy | Guillaume | CNRS et Université Paris Diderot, LIAFA | Alea Combinatoire algébrique |
| Revol | Nathalie | INRIA – LIP, ENS de Lyon | Arithmétique |
| Hoang-Nghia | Nguyen | LIPN, université Paris 13 | Combinatoire des mots, algorithmique du texte et du génome Combinatoire algébrique Graphes Calcul formel Logique, algèbre et calcul |
| Hoang-Nghia | Nguyen | LIPN, Université Paris 13 | Combinatoire algébrique Graphes Calcul formel |
| Limouzy | Vincent | LIMOS – Univ. Blaise Pascal | Graphes Conception d’algorithmes |
| Kanté | Mamadou Moustapha | Clermont-Université, LIMOS | Graphes |
| Espians | Jérémy | Université de Lyon 1, LIRIS | Géométrie algorithmique |
| Levallois | Jérémy | INSA de Lyon, LIRIS – LAMA | Géométrie discrète |
| Boldo | Sylvie | Inria Saclay, LRI | Arithmétique Vérification |
| Strozecki | Yann | Université de Versailles | Modèles de calcul, modèles finis et complexité |
| Torres | Serge | Ens de Lyon, LIP, UMR5568 | Aucun |
| MULLER | Jean-Michel | CNRS, laboratoire LIP | Arithmétique |
| Hejda | Tomas | LIAFA (Paris 7) and CTU Prague Czech Rep | SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Mercat | Christian | Univ. Claude Bernard Lyon 1, S2HEP, IREM | Géométrie discrète |
| Lazarus | Francis | CNRS | Géométrie algorithmique Conception d’algorithmes |
| Sablik | Mathieu | LATP | Alea SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Bedaride | Nicolas | Université Aix Marseille, LATP | SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Fuchs | Laurent | Université de Poitiers, XLIM-SIC | Modélisation géométrique |
| Fabien | Laguillaumie | Univ. Lyon 1, LIP | Codage et cryptographie |
| CHASSERY | Jean-Marc | CNRS, GIPSA-lab | Géométrie discrète |
| guerrini | eleonora | université montpellier 2, LIRMM | Calcul formel Codage et cryptographie |
| Sopena | Eric | Université Bordeaux 1 | Graphes |
| Renault | Gabriel | Université Bordeaux 1, LaBRI | Graphes |
| Hirschkoff | Daniel | ENS Lyon | Géométrie du calcul Logique, algèbre et calcul |
| Mouilleron | Christophe | ENSIIE, Evry | Arithmétique Calcul formel |
| Madiot | Jean-Marie | ENS Lyon | Géométrie du calcul Logique, algèbre et calcul |
| de Rugy-Altherre | Nicolas | Paris VII | Modèles de calcul, modèles finis et complexité |
| Lafond | Thomas | LIRIS | Géométrie discrète |
| CHAUVIN | Brigitte | Université de Versailles Saint-Quentin | Alea |
| Clément | Julien | CNRS, Université de Caen | Alea Combinatoire des mots, algorithmique du texte et du génome SDA2: Systèmes dynamiques, Automates et Algorithmique Codage et cryptographie |
| Marcovici | Irène | LIAFA, Université Paris Diderot | Alea SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Richomme | Gwenaël | Univ. Montpellier 3 et LIRMM | Combinatoire des mots, algorithmique du texte et du génome SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Soria | Michèle | Université Paris 6 | Alea |
| Busic | Ana | INRIA, DI ENS | Alea SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Meunier | Pierre-Etienne | Postdoc lama (Savoie) / liafa (Paris 7) | SDA2: Systèmes dynamiques, Automates et Algorithmique |
| Lecroq | Thierry | Université de Rouen, LITIS EA 4108 | Combinatoire des mots, algorithmique du texte et du génome |