Le GDR IM est dirigé par Jean-Michel Muller et Guillaume Theyssier.
Le GdR Informatique Mathématique est doté:
- d’un comité de direction composé de Brigitte Vallée, Laurent Imbert, Anca Muscholl, et des deux co-directeurs;
- d’un conseil scientifique, présidé par Pascal Weil et composé de Bruno Gaujal, Pierrick Gaudry, Francis Lazarus, Frédéric Magniez, Assia Mahboubi, Jean-Yves Marion, Claire Mathieu, Myriam Preissmann, Bruno Salvy, Sophie Tison et Pascal Weil;
- d’un chargé de mission « Jeunes » (chargés en particulier du suivi de l’Ecole jeunes Chercheurs du GDR): Bruno Martin;
- de chargé.e.s de mission supervisant l’organisation des Journées Nationales du GDR: Frédérique Bassino et Véronique Cortier;
- chargé de mission « Evénements » supervisant l’évaluation de propositions d’événements et leur financement éventuel par le GDR: Laurent Imbert ;
- d’une cellule communication composée de Valérie Berthé, Julien Clément, Ines Klimann, Youssouf Oualhadj, et Pascal Vanier.
N.B.: Vous pouvez visiter la Foire Aux Questions pour savoir comment devenir membre.
Les groupes de travail (GT) peuvent être regroupés (avec recoupements possibles) en trois grandes catégories.
- Algorithmique et Combinatoire
Aspects algorithmiques de la théorie des graphes, algorithmique des mots et des arbres, combinatoire, analyse d’algorithmes et de structures de données, systèmes à événements discrets, automates.
Groupes de travail :
-
- ALEA (Frédérique Bassino, Brigitte Chauvin, Gilles Schaeffer)
- Combinatoire des mots, algorithmique du texte et du génome (Thierry Lecroq et Irena Rusu)
- Combinatoire algébrique (Riccardo Biagioli et Christophe Tollu)
- Graphes (Mamadou Kante, Mathieu Liedloff)
- SDA2: Systèmes dynamiques, Automates et Algorithmique (Fabien Durand et Pascal Vanier)
- BIOSS: Biologie systémique symbolique (Anne Siegel, Cédric Lhoussaine)
-
- Calcul formel, arithmétique, protection de l’information, géométrie
Algorithmique en algèbre, en théorie des groupes, calcul symbolique, arithmétique effective, arithmétique des ordinateurs, codage et cryptographie, géométrie.
Groupes de travail :
-
- Arithmétique (Sylvie Boldo et Jérémie Detrey)
- Calcul formel (Grégoire Lecerf)
- Codage et cryptographie (Olivier Blazy et Alain Couvreur)
- Géométrie algorithmique (Luca Castelli et Steve Oudot)
- Géométrie Discrète et Morphologie Mathématique (Fabien Baldacci, Nicolas Passat, Isabelle Sivignon)
- Modélisation géométrique (Stefanie Hahmann, Géraldine Morin)
-
- Logique et complexité
Théorie de la démonstration, réécriture, outils de preuve, théorie de la complexité, logique et complexité, Jeux, calcul quantiques, modèles finis, théorie des bases de données, vérification.
Groupes de travail :
-
- Complexité et algorithmes (Pierre Fraigniaud)
- Informatique quantique (Simon Perdrix)
- Automates, logique, jeux et algèbre (Nathanaël Fijalkow et Olivier Serre)
- Logique, Homotopie, Catégories (Samuel Mimram et Lionel Vaux)
- Structures formelles pour le CALcul et les Preuves (Damiano Mazza, Alexis Saurin, Thibaut Balabonski)
- Vérification (Nathalie Bertrand et Pierre-Alain Reynier)
- Calculabilités (Olivier Bournez, Grégory Lafitte)
-
Anciens responsables :
Brigitte Vallée (directrice du GDR 2006-2012), Christiane Frougny (directrice adjointe, 2006-2009), Gilles Schaeffer (pôle Algorithmique et combinatoire, 2006-2009), Gregory Kucherov (GT Comatege, 2006-2008), Florent Hivert (GT combalg, 2007-2008), Michel de Rougemont (GT CMF, 2006-2010), Rémy Malgouyres (GT GeoDis, 2006-2010), Marc Neveu (GT ModGeo, 2006-2010), Jean Mairesse (GT SDA2, 2006-2010), Jean-Claude Bajard (Arithmétique, 2006-2011), Claude Carlet (GT C2, 2006-2011), Delia Kesner (GT LAC, 2006-2011), André Raspaud (GT Graphes, 2006-2010), Laurent Régnier (GT GeoCAL, 2006-2012), Anca Muscholl (GT Jeux 2006-2014), Hugo Gimbert (GT Jeux 1008-2012), Iornadis Kerenidis et Sophie Laplante (GT IQ, 2009-2014), Luc Segoufin (GT CMF 2010-2014), Arnaud Pêcher (GT Graphes 2010-2014), Guillaume Theyssier et Valérie Berthé (GT SDA2 2010-2015), Bruno Salvy (GT Calcul formel 2006-2016), Laurent Imbert (GT C2 2011-2016), Gilles Villard (Resp. pôle Calcul formel, arithmétique, protection de l’information, géométrie 2006-2016), Jacques-Olivier Lachaud (GT Geodis …-2016), Sylvain Sené (BIOSS 2015-2016), Laurent Fuchs (GT MG 2010-2017), Laurent Bienvenu (GT Calculabilités 2015-2017), Nicolas Ollinger (GT SDA2, 2015-2017), Véronique Cortier (GT Vérif, …-2017), Arnaud Durand (directeur adjoint du GDR 2012-2017), Jean-Christophe Novelli (COMBALG 2009-2017), Philippe Langlois (ARITH 2012-2017), Anca Muscholl (ALGA 2012-2017), Nicolas Schabanel (COA 2011-2017), Cyril Gavoille (COA 2011-2017), Frédéric Magniez (resp. Pôle Logique et complexité ?-2017), Olivier Laurent (GEOCAL 2013-2018), Stéphane Lengrand (LAC 20??-2018).