Journées nationales 2013

Date: 
Lundi, 21 Janvier, 2013 - Mardi, 22 Janvier, 2013
Lieu: 

ENS Lyon

Description: 

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)
NomPrénomAffiliationGroupe(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 disc­rè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 disc­rète
Nicodeme Pierre CNRS - LIPN - Univ Paris13 Alea
Co­mbinatoire 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
Co­mbinatoire des mots, algorithmique du texte et du génome
SDA2: Systèmes dynamiques, Automates et Algorithmique
Géométrie disc­rè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 Co­mbinatoire des mots, algorithmique du texte et du génome
SDA2: Systèmes dynamiques, Automates et Algorithmique
Arithmétique
Géométrie disc­rè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 Co­mbinatoire 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 disc­rè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 disc­rè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 disc­rè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 disc­rète
CHAUVIN Brigitte Université de Versailles Saint-Quentin Alea
Clément Julien CNRS, Université de Caen Alea
Co­mbinatoire 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 Co­mbinatoire 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 Co­mbinatoire 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 disc­rè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 Co­mbinatoire 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 disc­rète
Bodini Olivier Université P13, LIPN Alea
Coeurjolly David CNRS, Université de Lyon Géométrie disc­rète
Devigne Julien Université de Caen, GREYC Codage et cryptographie
Rao Michael CNRS - LIP - ENS Lyon Co­mbinatoire 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
Co­mbinatoire 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 Co­mbinatoire 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
Co­mbinatoire 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 disc­rè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 Co­mbinatoire des mots, algorithmique du texte et du génome
Baudrier Etienne Université de Strasbourg Géométrie disc­rè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 disc­rè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
NomPrénomAffiliationGroupe(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 disc­rè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 disc­rète
Nicodeme Pierre CNRS - LIPN - Univ Paris13 Alea
Co­mbinatoire 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
Co­mbinatoire des mots, algorithmique du texte et du génome
SDA2: Systèmes dynamiques, Automates et Algorithmique
Géométrie disc­rè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 Co­mbinatoire des mots, algorithmique du texte et du génome
SDA2: Systèmes dynamiques, Automates et Algorithmique
Arithmétique
Géométrie disc­rè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 Co­mbinatoire 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 disc­rè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 disc­rè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 disc­rè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 disc­rète
CHAUVIN Brigitte Université de Versailles Saint-Quentin Alea
Clément Julien CNRS, Université de Caen Alea
Co­mbinatoire 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 Co­mbinatoire 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 Co­mbinatoire des mots, algorithmique du texte et du génome
Fichier :