Systèmes Dynamiques, Automates et Algorithmes

Un groupe de travail du GDR Informatique Mathématique (IM)

Le GDR IM

Dans l'informatique mathématique, le domaine informatique apporte en premier lieu ses problèmes, ses objets, ses motivations. Mais, dans la modélisation et la résolution de ces problèmes (de nature informatique), l'outil et les méthodes mathématiques s'avèrent essentiels, souvent même incontournables. Et, il est très rare que les techniques mathématiques ``classiques'' puissent être utilisées directement, ``clés en main'', car les objets manipulés ou le type de réponses attendues (par exemple en terme d'effectivité) apparaissent souvent comme non-classiques aux mathématiciens. Ceci explique l'energie consacrée, au sein de la communauté du GDR IM, au développement de techniques mathématiques spécifiques, imprégnées du point de vue informatique. L'informatique mathématique est donc un domaine de l'informatique qui utilise non seulement des mathématiques, mais qui se révèle aussi créateur de nouvelles mathématiques.

• Algorithmique et combinatoire
• Calcul formel, arithmétique et géométrie
• Logique et complexité

• ALEA (Frédérique Bassino, Brigitte Chauvin, Michèle Soria)
• Combinatoire des mots, algorithmique du texte et du génome (Thierry Lecroq)
• Combinatoire algébrique (Jean-Christophe Novelli)
• Graphes (Arnaud Pêcher)
• SDA2: Systèmes dynamiques, Automates et Algorithmique (Valérie Berthé et Guillaume Theyssier)

Le GT SDA2

• Dynamique symbolique, automates et langages formels, automates cellulaires, pavages et numération.
• Systèmes dynamiques a événements discrets: aspects logiques, temporels et probabilistes.
• Modélisation et analyse en moyenne des algorithmes par des systèmes dynamiques.

• Organiser des journées annuelles;
• Participer au financement de manifestations liées au thème;
• Relayer via la liste de diffusion les informations pouvant intéresser la communauté;
• Tenir a jour et en ligne une liste des (post-)doctorants du domaine avec leurs sujets de thèse;
• Organiser des visites-échanges entre doctorants.

Les journées nationales

Journées du GDR IM

• Les Journées 2012 ont eu lieu à l'Université Paris Diderot les 25 et 26 janvier 2012.


• Les Journées du GDR IM version 2011 ont eu lieu les 20 et 21 janvier 2011, à l'Université Paris 6, campus Jussieu. page des Journées.


• Les Journées du GDR IM version 2010 ont eu lieu les 21 et 22 janvier 2010, à l'Université Paris 6, campus Jussieu. Pour plus d'informations, consulter la page des Journées.


• Les Journées du GDR IM version 2009 ont eu lieu les 22 et 23 janvier 2009, à l'Université Paris 6, campus Jussieu. Pour plus d'informations, consulter la page des Journées.


• Les Journées du GDR IM version 2008 ont eu lieu les 24 et 25 janvier 2008. Les résumés des présentations sont disponibles sur la page des Journées.

Journées SDA2

• Les Sixièmes Journées SDA2 auront lieu du 10 au 12 juin 2013 à Amiens. Page web des journées.


• Les Cinquièmes Journées SDA2 ont eu lieu en 2012, les 11-12-13 juin à Rouen. Ces journées baptisées "Journées Machines à états finis et Combinatoire" étaient en l'honneur de Jean-Marc Champarnaud. Plus de détails ici.


• Les Quatrièmes Journées SDA2 ont eu lieu en 2011, les 20-21-22 juin à Caen. Plus de détails en suivant ce lien.


• Les Troisièmes Journées SDA2 ont eu lieu à Nice les 1-4 décembre 2009. Elles sont couplées avec les Journées de l'ANR NAFIT et avec les 7-ièmes Journées FRAC. Merci aux responsables en chef de cette manifestation: Enrico Formenti et Nicolas Ollinger. Toutes les infos en suivant ce lien !


• Les Secondes Journées SDA2 ont eu lieu à Rouen les 17-19 septembre 2008. Elles étaient couplées avec les Journées COMATEGE (responsable Thierry Lecroq) et avec un hommage à Jean-Pierre Duval. Merci aux orateurs et à tous les participants. Et merci aux responsables en chef de cette manifestation: Giovanna Guaiana et Thierry Lecroq.
  Les fichiers pdf des présentations sont disponibles sur la page des Journées (merci à Arnaud Lefebvre).


• Les Premières Journées SDA2 ont eu lieu les 4-5 octobre 2007 à Paris, Chevaleret. Merci aux orateurs et à tous les participants.
  Les fichiers pdf des présentations sont disponibles sur la page des Journées.

Les manifestations soutenues

• 22-24 février 2012 : Rencontres FRAC d'hiver 2012, Paris-Est Créteil


• 15-17 décembre 2010 : Journées Automates Cellulaires JAC 2010, Turku, Finlande.


• 4-11 avril 2010 : "Digital expansions, dynamics and tilings", rencontre aà Aussois organisée par Christiane Frougny et Wolfgang Steiner.


• 1 fév. - 5 mars 2010 : Programme Math-Info 2010, Towards new interactions between mathematics and computer science, ensemble de rencontres au CIRM.


• 23-27 mars 2009 : "Numération : Mathématiques et Informatique", rencontre au CIRM organisée par Wolfgang Steiner, Anne Siegel et Boris Adamczewski.


• 4-6 mars 2009 : Frac d'hiver 2009, Marne-la-Vallée, rencontre du Projet ANR Sycomore : « Systèmes complexes et modèles de calcul ».


• 23-28 juin 2008 : Stochastic Networks Conference SN 2008, ENS, Paris, France.


• 1-4 juin 2008 : 9-ième Atelier d'Evaluation de Performances AEP9, Aussois (Savoie), France.


• 21-25 avril 2008 : Journées Automates Cellulaires JAC 2008, Uzès (Gard), France.


• 2-4 avril 2008 : Symposium Perspectives en modélisation et évaluation des systèmes et réseaux informatiques, INRIA Rocquencourt.


• 27-28 novembre 2007 : Journées FRAC d'automne sur les Systèmes Complexes. CMI, Marseille.


• 2-4 juillet 2007 : Workshop Symbolic Dynamics and coding, Univ. Marne-la-Vallée.


• 28-29 juin 2007 : journées FRAC du projet ANR Sycomore (Systèmes complexes et modèles de calcul).


• 21-22 juin 2007 : Workshop Modélisation Mathématique et Analyse de Réseaux Informatiques, ENS Paris.


• 4-6 décembre 2006 : Rencontre Aspects dynamiques de la numération, LIAFA, Paris.

Echanges entre doctorants

Ce programme concerne deux doctorant(e)s du GT appartenant à deux laboratoires différents. Un(e) des deux doctorant(e)s reçoit l'autre dans son laboratoire pour une visite d'une dizaine de jours. L'organisation du séjour incombe aux doctorants : 

• séminaire(s)
• programme de travail
• rencontres entre l'invité(e) et les membres du laboratoire d'accueil.

 Cette mission est en partie payée par le GDR qui la subventionne à hauteur de 400 euros (le reste, par exemple le voyage, étant payé par les laboratoires concernés).

Séminaires d'équipe

• Groupe de travail de l'équipe Automates au LIAFA, Paris 7. Responsables et contacts : Christiane Frougny et Sylvain Perifel
• Séminaire de l'équipe MC3, laboratoire I3S, Nice. Responsable et contact : Gabriele Fici
• Séminaire de l'équipe ARITH du LIRMM.
• Groupe de travail de l'équipe Escape Responsable et contact : Fabien Givors
• Séminaire "ERNEST" de l'IML. Organisateurs: Glenn Merlet et Thomas Stoll
• Séminaire Pytheas Fogg (une fois par mois à Marseille)
• Séminaire de léquipe combinatoire et algorithmes du LITIS (Rouen). Organisatrice : Carla Selmi

La liste des équipes

Marne-la-Vallée

Permanents

• Marie-Pierre Béal
• Jean Berstel
• Arnaud Carayol
• Didier Caucal
• Isabelle Fagnot
• Sylvain Lombardy
• Cyril Nicaud
• Dominique Perrin
• Giuseppina Rindone
• Chloé Rispal

Doctorants

• Laurent Braud
  Sujet de thèse : Structures dans la hiérarchie à pile. Résumé.
  Encadrant : Didier Caucal
  
  
• Julien David
  Sujet de thèse : Analyse de la complexité en moyenne d'algorithmes sur les automates finis et les langages. Résumé.
  Encadrant : Frédérique Bassino (Villetaneuse)

Ex-Doctorants

• Nathalie Aubrun
  Sujet de thèse : Dynamique symbolique des systèmes 2D et des arbres infinis. Résumé.
  Encadrants : Marie-Pierre Béal et Mathieu Sablik (Marseille)
  Soutenance : 22 juin 2011
  Situation : post-doc à Turku (Finlande)
  
  
• Pierre Guillon
  Sujet de thèse : Automates cellulaires et dynamique symbolique. Résumé.
  Encadrant : Julien Cervelle
  Soutenance : 24 novembre 2008
  Situation : CR CNRS à l'IML.


• Gabriele Fici
  Sujet de thèse : Minimal forbidden words and applications.
  Encadrants : Marie-Pierre Béal (IGM) et Filippo Mignosi (Université de Palerme)
  Soutenance : 13 février 2006
  Situation : ATER au laboratoire I3S (Université de Nice Sophia Antipolis)

Grenoble

Permanents

• Bruno Gaujal
• Arnaud Legrand
• Florence Perronnin
• Corinne Touati
• Jean-Marc Vincent

Ex-Doctorants

• Nicolas Gast
  Sujet de thèse : Auto-optimisation dans des systèmes distribués.
  Encadrant : Bruno Gaujal
  Soutenance : 29 septembre 2010.
  Situation : Post-doctorant à l'EPFL.

Chambéry

Permanents

• Xavier Provencal
• Laurent Vuillon
• Guillaume Theyssier

Ex-doctorants

• Pierre-Étienne Meunier
  Sujet de thèse : Automates cellulaires et complexité de communication.
  Encadrants : Ivan Rapaport et Guillaume Theyssier (co-tutelle avec le CMM, Santiago, Chili)
  Soutenance : 26 novembre 2012
• Laurent Boyer
  Sujet de thèse : Densité des propriétés dans les automates cellulaires
  Encadrants : Laurent Vuillon et Guillaume Theyssier
  Soutenance : 7 décembre 2010
  Situation : MdC à Paris 1





Amiens

L'Université de Picardie Jules Verne est située à Amiens. Les chercheurs intéréssés par la combinatoire des mots, les systèmes dynamiques discrets, se trouvent à la fois en informatique, au sein du laboratoire MIS et en Mathématiques, au sein du LAMFA.

Permanents

• Fabien Durand
• Florence Levé

Doctorants

• Julien Leroy
  Sujet de thèse : Diagrammes de Bratteli, complexité sous-affine et systèmes S-adiques
  Encadrants : Fabien Durand et Gwénaël Richomme




Marseille - Informatique

Le Laboratoire d'Informatique Fondamentale ou LIF de l'Université de Provence concentre les activités "Sda2", plus précisément au sein de l'équipe Escape.

Permanents

• Victor Poupet

Membres associés

• Marianne Delorme
• Jacques Mazoyer

Doctorants

• Alex Borello
  Sujet de thèse : Reconnaissance de langages 2D par automates cellulaires en temps réel
  Encadrant : Bruno Durand et Victor Poupet


• Martin Delacourt
  Sujet de thèse : Conséquences d'un mot sur automates cellulaires
  Encadrant : Victor Poupet


• Pascal Vanier
  Sujet de thèse : Complexité des invariants dans les pavages
  Encadrants : Emmanuel Jeandel & Bruno Durand

Ex-doctorants

• Vincent Bernardi
  Sujet de thèse : Lois de conservation sur automates cellulaires. Résumé.
  Encadrants : Bruno Durand et Nicolas Ollinger
  Soutenance : 10 décembre 2007.


• Gaétan Richard
  Sujet de thèse : Systèmes de particules et collisions discrètes dans les automates cellulaires.
  Encadrant : Nicolas Ollinger
  Situation : MdC à Caen.


• Alexis Ballier
  Sujet de thèse : Propriétés structurelles, combinatoires et logiques des pavages.
  Encadrant : Bruno Durand et Emmanuel Jeandel
  Soutenance : 30 novembre 2009
  Situation : post-doc au CMM (Santiago, Chili)

Marseille - Mathématiques

Permanents

• Pierre Arnoux
• Nicolas Bedaride (LATP, Aix Marseille université)
• Julien Cassaigne
• Sébastien Ferenczi
• Pierre Guillon
• Christian Mauduit
• Glenn Merlet
• Mathieu Sablik (LATP)
• Serge Troubetzkoy

Doctorants

• Ramzi Turki
  Sujet de thèse : à venir.
  Encadrant : Julien Cassaigne


• Stepan Starosta
  Sujet de thèse : a venir.
  Encadrants : Pierre Arnoux et Edita Pelantová (Prague)

Ex-doctorants

• Julien Bernat
  Sujet de thèse : Propriétés arithmétiques de la beta-numération. Résumé.
  Encadrants : Pierre Arnoux et Valérie Berthé
  Soutenance : 9 décembre 2005. Situation : Maitre de Conférences à l'IUFM de Lorraine.


• Mathieu Sablik
  Sujet de thèse : Étude de l'action conjointe d'un automate cellulaire et du décalage: Une approche topologique et ergodique. Résumé.
  Encadrants : François Blanchard (IML, Marseille) et Alejandro Maas (U. du Chili).
  Soutenance : 6 juillet 2006. Situation : MdC à Marseille (Math, LATP).


• Yann Jullian
  Sujet de thèse : Représentation géométrique d'un système symbolique par substitution d'arbre. Résumé.
  Encadrants : Xavier Bressaud
  Soutenance : 4 juillet 2009. Situation : ATER à l'université Paul Cezanne (Aix-Marseille III).


• Marion Le Gonidec
  Sujet de thèse : Sur la complexité des mots q^{infini}-automatiques. Résumé.
  Encadrant : Christian Mauduit
  Soutenance : fin 2006. Situation : MdC, Equipe Réunionnaise de Mathématiques et d'Informatique Théorique.


• Elise Vaslet
  Sujet de thèse : Seuil de répétition d'un alphabet à k lettres; autour de la conjecture de Dejean.
  Encadrants : Sébastien Ferenczi et Julien Cassaigne


• Tarek Sellami
  Sujet de thèse : Géométrie commune des substitutions de même matrice d'incidence.
  Encadrants : Pierre Arnoux et Mohamed Mkaouar (Sfax)


• Vincent Delecroix (actuellement en post-doc à Paris VII)
  Sujet de thèse : Combinatoire et dynamique du flot de Teichmüller (soutenance prévue le 16 novembre 2011)
  Encadrant : Arnaldo Nogueira


• Jean-François Bertazzon
  Sujet de thèse : systèmes dynamiques topologiques et mesurés
  Encadrant : Serge Troubetzkoy
  Soutenance : décembre 2010


• Nicolas Bédaride
  Sujet de thèse : Etude du billard dans un polytope
  Soutenance : mai 2005

Lyon

Permanents

• Boris Adamczewski (Institut Camille Jordan, Lyon 1)
• Véronique Maume-Deschamps (ISFA, Lyon 1)
• Éric Rémila
• Nicolas Schabanel (+ LIAFA, Paris 7)
• Éric Thierry

Doctorants

• Colin Faverjon
  Sujet de thèse : Aspect quantitatif du théorème du sous-espace et indépendance algébrique
  Encadrant : Boris Adamczewski
• Kevin Perrot
  Sujet de thèse : Dynamiques des tas de sable
  Encadrants : Éric Rémila et Enrico Formenti (Nice)
  

Ex-doctorants

• Mathilde Noual
  Sujet de thèse : Attracteurs de réseaux booléens: étude selon les différents synchronismes d'évolution
  Encadrants : Sylvain Sené et Éric Rémila


• Laurent Jouhet
  Sujet de thèse : Algorithmique du network calculus
  Encadrant : Éric Thierry
  Soutenance : 7 novembre 2012. Situation: Enseignant dans le secondaire (mathématiques)


• Florent Becker
  Sujet de thèse : Auto-assemblage
  Encadrant : Éric Rémila
  Soutenance : 26 novembre 2008. Situation: Maitre de Conférences à Orléans.


• Victor Poupet
  Sujet de thèse : Reconnaissance de langages en temps réel sur automates cellulaires : influence du voisinage et de la dimension. Résumé.
  Encadrants : Marianne Delorme et Jacques Mazoyer
  Soutenance : 8 décembre 2006. MdC à Marseille à partir de Septembre 2007.


• Damien Regnault
  Sujet de thèse : Automates cellulaires asynchrones. Résumé.
  Encadrants : Nicolas Schabanel et Eric Thierry
  Soutenance : 24 novembre 2008. Situation : MdC à Evry.


• Jean-Baptiste Rouquier
  Sujet de thèse : Robustesse et émergence dans les systèmes complexes. Résumé.
  Encadrant : Michel Morvan
  Soutenance : 8 décembre 2008. Situation : Postdoc à l'Institut des systèmes complexes à Paris.


• Alina Firicel
  Sujet de thèse : Quelques contributions à l'étude des séries formelles à coefficients dans un corps fini
  Encadrant : Boris Adamczewski
  Soutenance : décembre 2010.

Paris 7

Permanents

• Valérie Berthé
• Laurent Bienvenu
• Luc Boasson
• Olivier Carton
• Christian Choffrut
• Christiane Frougny
• Lukasz Kayser
• Ines Klimann
• Jean Mairesse
• Matthieu Picantin
• Sylvain Perifel
• Jean-Éric Pin
• Olivier Serre
• Wolfgang Steiner
• Jean-Baptiste Yunes
• Wieslam Zielonka

Doctorants

• Julien Cristau
  Sujet de thèse : Jeux et automates sur les ordres. Résumé.
  Encadrant : Olivier Carton


• Luc Dartois
  Sujet de thèse : à venir
  Encadrants : Olivier Carton et Jean-Eric Pin


• Guillaume Delalleau
  Sujet de thèse : Pavages substitutifs.
  Encadrant : Valérie Berthé
  


• Axel Haddad
  Sujet de thèse : à venir.
  Encadrants : Arnaud Carayol (Marne) et Olivier Serre
  
  
• Timo Jolivet
  Sujet de thèse : Combinatoire des plans discrets
  Encadrants : Valérie Berthé et Jarkko Kari (Turku, Finlande)
  
  
• Denis Kuperberg
  Sujet de thèse : à venir.
  Encadrants : Thomas Colcombet et Sylvain Lombardy (Marne).
  
  
• Sébastien Labbé
  Sujet de thèse : Combinatoire des mots et géométrie discrète
  Encadrants : Valérie Berthé et S. Brlek (UQAM).
  
  
• Irène Marcovici
  Sujet de thèse : Automates cellulaires probabilistes.
  Encadrant : Jean Mairesse
  


• Hoang-Thach Nguyen
  Sujet de thèse : Réseaux à forme produit
  Encadrant : Jean Mairesse
  
  
• Antoine Taveneaux
  Sujet de thèse : à venir
  Encadrant : Laurent Bienvenu et Serge Grigorief
  

Ex-doctorants

• Marie Albenque
  Sujet de thèse : Tresses, animaux, cartes : interactions entre combinatoire et probabilités
  Encadrants : Jean Mairesse et Jean-François Marckert (LABRI, Bordeaux)
  Soutenance : 3 décembre 2008.
  Situation : CR CNRS au LIX, Ecole Polytechnique.
  


• Laura Chaubard
  Sujet de thèse : Méthodes algébriques pour les langages formels. Applications à la logique et à la dynamique symbolique.
  Encadrant : Jean-Éric Pin
  Soutenance : 4 mai 2007.
  Situation : En poste à la DGA.


• Thu-Ha Dao-Thi
  Sujet de thèse : Files d'attente et réseaux zéro-automatiques. Résumé.
  Encadrant : Jean Mairesse
  Soutenance : 3 décembre 2007.
  Situation : CR CNRS à Versailles.
  
  
• Karel Klouda
  Sujet de thèse : Non-standard numerations systems and combinatorics on words
  Encadrant : Christiane Frougny et Edita Pelantova (Université polytechnique de Prague)
  Soutenance : 19 novembre 2010.
  Situation : maître de conférences à l'université polytechnique de Prague.
  
  
• Anna-Chiara Lai
  Sujet de thèse : Développements en base non entière et applications.
  Encadrants : Christiane Frougny et Poala Loreti (Universita La Sapienza, Rome).
  Soutenance: 9 mars 2010.
  Situation : post-doc à La Sapienza, Rome.
  

Montpellier

Permanents

• Thierry Monteil
• Gwénaël Richomme
• Patrice Séébold
• Bruno Durand
• Gregory Lafitte
• Andrei Romashchenko
• Alexander Shen

Doctorants

• André Hoarau
  Sujet de thèse : Combinatoire des mots associés au codage des courbes discrètes
  Encadrants : Gwenaël Richomme et Thierry Monteil


• Fabien Givors
  Sujet de thèse : Les degrés récursivement énumérables : théorie et expérimentation
  Encadrants : Gregory Lafitte & Bruno Durand


• Tarik Kaced
  Sujet de thèse : Partage de secret et théorie algorithmique de l'information
  Encadrants : Alexander Shen et Andrei Romashchenko

Ex-doctorants

• Thomas Fernique
  Sujet de thèse : Pavages, fractions continues et géométrie discrète. Résumé.
  Encadrant : Valérie Berthé
  Soutenance : 13 décembre 2007. Situation : CR CNRS à Marseille (LIF).

Nancy

Permanents

• Nazim Fatès
• Emmanuel Hainry
• Mathieu Hoyrup
• Emmanuel Jeandel

Doctorants

• Hugo Férée
  Sujet de thèse : Relations entre représentation et complexité en analyse calculable.
  Encadrants : Jean-Yves Marion et Mathieu Hoyrup.

Paris ENS

Permanents

• François Baccelli
• Anne Bouillard
• Bartek Blaszczyszyn
• Pierre Brémaud
• Ana Busic
• Marc Lelarge

Doctorants

• Hamed Amini
  Sujet de thèse : Auto-organisation dans les réseaux de communication
  Encadrant : François Baccelli


• Emilie Coupechoux
  Sujet de thèse : Analyse de grands graphes aléatoires. Résumé.
  Encadrant : Marc Lelarge, François Baccelli


• Yogeshwaran Dhandapani
  Sujet de thèse : Modélisation stochastique de réseaux mobiles ad-hoc
  Encadrant : François Baccelli et Bartek Blaszczyszyn


• Bruno Kauffmann
  Sujet de thèse : Métrologie des grands réseaux
  Encadrant : François Baccelli


• Mir Omid Haji Mirsadeghi
  Sujet de thèse : Graphes aléatoires
  Encadrant : François Baccelli


• Frédéric Morlot
  Sujet de thèse : Processus spatio-temporels
  Encadrant : François Baccelli et Mr El Ayoubi (France Telecom)


• Tien Viet Nguyen
  Sujet de thèse : Analyses probabilistes des algorithmes adaptatifs dans les réseaux mobile ad hoc (MANETs). Résumé.
  Encadrant : François Baccelli


• Justin Salez
  Sujet de thèse : Convergence locale de graphes aléatoires et propagation de croyances
  Encadrant : François Baccelli, Marc Lelarge

Ex-doctorants

• Charles Bordenave
  Sujet de thèse : Analyse Stochastique des réseaux spatiaux. Résumé.
  Encadrant : François Baccelli
  Soutenance : juillet 2006. Situation : Chargé de Recherche CNRS Toulouse (depuis sept. 2007).


• Giovanna Carofiglio
  Sujet de thèse : Modèles stochastiques et fluides au niveau flot de réseaux TCP/IP.
  Encadrant : François Baccelli et M. Ajmone-Marsan
  Soutenance : avril 2008. Situation : En poste chez Alcatel-Lucent depuis juillet 2008.


• Minh-Anh Tran
  Sujet de thèse : Insensibilité dans les réseaux de files d'attente et applications au partage de ressources informatiques.
  Encadrant : Thomas Bonald
  Soutenance : 29 octobre 2007. Situation : Postdoc à Stanford en 07-08. MdC à Paris 12 depuis septembre 09.

Caen

Permanents

• Ali Akhavi
• Julien Clément
• Loick Lhote
• Gaétan Richard
• Véronique Terrier
• Brigitte Vallée

Permanents associés

• Jérémie Bourdon (LINA de l'Université de Nantes)
• Eda Cesaratto (Buenos-Aires, Argentine)

Doctorants

• Antonio Vera
  Sujet de thèse : Analyse dynamique de l'algorithme LLL: le cas particulier de la dimension 2. Résumé.pdf.
  Encadrant : Brigitte Vallée


• Mathieu Roux
  Sujet de thèse : Les séries de Dirichlet et l'analyse en moyenne des algorithmes de réduction de réseaux. Résumé.pdf.
  Encadrant : Driss Essouabri (LMNO) et Brigitte Vallée

Ex-doctorants

• Loick Lhote
  Sujet de thèse : Algorithmes du PGCD et fouille de données : le point de vue de l'analyse dynamique.
  Encadrant : Brigitte Vallée
  Soutenance : septembre 2006. Situation : MdC Caen.

Nice

Permanents

• Enrico Formenti
• Sandrine Julia
• Bruno Martin
• Christophe Papazian
• Adrien Richard

Doctorants

• Julien Provillard
  Sujet de thèse : Automates cellulaires non-uniformes
  Encadrant : Enrico Formenti


• Jérôme Chadesris
  Sujet de thèse : Automates à coordonnées réelles pour la biologie
  Encadrant : Enrico Formenti et Jean-Paul Comet (I3S)

Ex-doctorants

• Benoit Masson
  Sujet de thèse : Des piles de sable aux automates de sable
  Encadrant : Enrico Formenti
  Soutenance : fin 2006. Situation : ATER Marseille (LIF) en 07-08. Post-doctorant University of Western Ontario en 08-09. Post-doctorant INRIA à l'IRISA (équipe DistribCom) depuis septembre 09.

Sophia INRIA

Permanents

• Eitan Altman
• Sara Alouf
• Konstantin Avrachenkov
• Philippe Nain
• Alain Jean-Marie

Doctorants

Nantes

Permanents

• Morgan Magnin
• Olivier Roux

Doctorants

• Maxime Folschette

ENST

Permanents

• Thomas Bonald
• Jacques Sakarovitch
• Hugues Randriam
• Laurent Decreusefond

Doctorants

• Victor Marsault
  Sujet de thèse : Étude combinatoire, statistique et dynamique des systèmes de numération en base rationnelle
  Encadrant : Jacques Sakarovitch

Ex-Doctorant

• Pierre-Yves Angrand
  Sujet de thèse : Contributions à l'étude de la dérivation des epxressions rationnelles et à l'étude des systèmes de numération abstraits
  Encadrant : Jacques Sakarovitch
  Soutenance : mars 2012.


• Rodrigo de Souza
  Sujet de thèse : Théorie des relations rationnelles finiment valuées.
  Encadrant : Jacques Sakarovitch
  Soutenance : 2008. Professeur au département d'informatique à l'UFPE, Recife, Brésil.

IRISA

Permanents

• Christophe Morvan
• Anne Siegel

Doctorants

Rouen

Permanents

• Pascal Caron
• Jean-Marc Champarnaud
• Giovanna Guaiana
• Jean Néraud
• Carla Selmi
• Florent Nicart

Doctorants

Ex-Doctorants

• Ludovic Mignot
  Sujet de thèse : Des codes barres pour les langages rationnel
  Encadrants : Jean-Marc Champarnaud et Pascal Caron
  Soutenance : 15 octobre 2010.

Versailles

Permanents

• Thu-Ha Dao-Thi
• Jean-Michel Fourneau
• Franck Quessette

Ex-doctorants

• Ana Busic
  Sujet de thèse : Comparaison stochastique de modèles markoviens : une approche algorithmique et ses applications en fiabilité et en évaluation de performance
  Encadrant : Jean-Michel Fourneau
  Soutenance : 16 juillet 2007. Situation : Postdoc au LIAFA, Univ. Paris 7, 2008-09. CR INRIA dans le projet TREC (Paris) depuis septembre 2009.

Villetaneuse

Permanents

• Frédérique Bassino
• Thomas Fernique

Doctorants

• Julien David - Voir Doctorants de Marne.


• Omar Ait Mous
  Sujet de thèse : Recherche de motifs et analyse d'algorithmes. Résumé.
  Encadrant : Frédérique Bassino

Orléans

Permanents

• Florent Becker
• Nicolas Ollinger
• Jérôme Durand-Lose

Doctorants

• Bastien Le Gloannec
  Sujet de thèse : Coloriage du plan discret par automates cellulaires partiels
  Encadrant : Nicolas Ollinger


• Maxime Senot
  Sujet de thèse : Modèles géométriques du calcul : fractales et barrières de complexité
  Encadrant : Jérôme Durand-Lose

Orsay

Permanents

• Francesca Fiorenzi

Paris Est Créteil

Permanents

• Julien Cervelle

Autres (!)

Permanents

• Jean-Paul Allouche (Equipe Combinatoire et optimisation, Paris 6)
• Viviane Baladi (Département de Mathématiques et Applications, ENS)
• Thierry Bousch (Laboratoire de Mathématique, Orsay)
• Xavier Bressaud (Institut de Mathématiques, Toulouse)
• Jérôme Buzzi (Laboratoire de Mathématique, Orsay)
• Frédéric Chazal (INRIA Saclay)
• Marie-Andrée Da Col (IUT Louis Pasteur de Schiltigheim)
• Moez Draief (Imperial College London)
• Olivier Finkel (Équipe de Logique Mathématique, Paris 7)
• Jean Fromentin (Laboratoire de Mathématiques Pures et Appliquées, Calais)
• Stefan Haar (LSV, Cachan)
• Matthieu Jonckheere (Buenos Aires)
• Pierre Nicodeme (LIX, Bio-informatique, École Polytechnique)
• Damien Regnault (Evry - Val d'Essonne)
• Sylvain Sené (Evry - Val d'Essonne)
• Laurent Boyer (SAMM, Paris 1)

Doctorants

Projets ANR

SubTile

Lareda

Nafit

EMC

La liste de diffusion

• À la racine,
  • les listes générales :
    • directrices@gdr-im.fr : les deux directrices
    • comdir@gdr-im.fr : le comité de direction
    • resp-gt@gdr-im : formé des 16 responsables des groupes de travail (avec leurs adjoints éventuels)
  • et les listes obtenues par concaténation des listes aux noeuds du type
    • gdr-im@gdr-im.fr : tout le monde
    • permanents@gdr-im.fr (tous les permanents)
    • doctorants@gdr-im.fr (tous les doctorants)
    • experts@gdr-im.fr (tous les experts)
  
  
• Les listes aux noeuds correspondent aux différents groupes de travail (GT), il y a 5 listes par GT. Par exemple, pour le groupe SDA2, les 5 listes sont:
  • gt-sda2@gdr-im.fr : tout le GT, i.e. la reunion des 4 listes suivantes.
  • gt-sda2-permanents@gdr-im.fr : les permanents
  • gt-sda2-doctorants@gdr-im.fr : les doctorants (et les post-doctorants)
  • gt-sda2-experts@gdr-im.fr : les experts
  • gt-sda2-3etype@gdr-im.fr : les personnes interesses ``de plus loin''.
  
  
• Il y a 16 groupes de travail, un à chaque noeud.
  • Pole Algorithmique et Combinatoire.
    • gt-alea@gdr-im.fr : Alea
    • gt-graphes@gdr-im.fr : Graphes
    • gt-comatege@gdr-im.fr : Combinatoire des mots, algorithmique du texte et du genome.
    • gt-sda2@gdr-im.fr : Systèmes dynamiques, Automates et Algorithmique
    • gt-combalg@gdr-im.fr : Combinatoire algébrique
  • Pole Calcul Formel, arithmétique, Protection de l'Information, Géométrie.
    • gt-calculformel@gdr-im.fr : Calcul Formel
    • gt-arith@gdr-im.fr : Arithmétique
    • gt-c2@gdr-im.fr : Codage et cryptographie
    • gt-geoalg@gdr-im.fr : Géométrie algorithmique
    • gt-geodis@gdr-im.fr : Géométrie discrète
    • gt-mg@gdr-im.fr : Modélisation géométrique
  • Pole Logique et complexité
    • gt-cmf@gdr-im.fr : Modèles de Calcul, modèles finis et complexité.
    • gt-jeux@gdr-im.fr : Jeux
    • gt-iq@gdr-im.fr : Informatique quantique
    • gt-lac@gdr-im.fr : Logique Algèbre et Calcul
    • gt-geocal@gdr-im.fr : Géométrie du Calcul

• Pour consulter:
  • la liste des listes est visible par tout abonné de l'une des listes.
  • les abonnés d'une liste sont visibles par tout membre d'une des listes.
  • le contenu des archives correspondant à chaque liste n'est visible que des membres d'une liste.
  
  
• Pour poster:
  • Tout abonné d'une des listes de diffusion de gdr-im peut poster sur n'importe laquelle des autres listes. Il faut noter cependant que l'envoyeur du message ne le recevra pas s'il n'est pas abonné à la liste.
  • Les listes sont configurées par défaut avec réponse à l'envoyeur (et non pas à toute la liste).