Le GDR (Groupement de Recherche) Informatique Mathématique, dit IM, a été créé début 2006. Il a été renouvelé en 2010, 2014 et 2019. C’est une structure propre du CNRS (GDR n° 673), rattachée principalement à l’INS2I et secondairement à l’INSMI.

Dans l’informatique mathématique, c’est l’informatique qui apporte en premier lieu ses problèmes, ses objets, ses motivations. Mais l’outil et les méthodes mathématiques s’avèrent essentiels dans la modélisation et la résolution de ces problèmes, souvent même incontournables. L’informatique mathématique intervient dans les principaux domaines suivants :

  • Algorithmique de domaines mathématiques : calcul formel, calcul arithmétique, géométrie.
  • Algorithmique sur des objets informatiques : mots, graphes, arbres, automates.
  • Efficacité : évaluation de performances des systèmes informatiques, analyse d’algorithmes.
  • Complexité et calculabilité : difficulté des problèmes, transitions de phases, liens avec la logique.
  • Preuve : logique, certification de logiciels, preuves de programmes.
  • Modèles et systèmes discrets : combinatoire, aléa, dynamique et complexité.
  • Il existe aussi des thèmes transverses à ce découpage, comme, par exemple, les thèmes de la sécurité mathématique (codage, cryptographie, vérification logicielle).

Le GDR IM est structuré en 19 groupes de travail, dont certains communs avec d’autres GDR. Il s’est récemment doté d’un Conseil Scientifique. Au dernier recensement (effectué début 2018), il comptait environ 2460 membres (1490 membres permanents, 722 doctorants, et environ 250 post-doctorants). Les membres permanents du GDR sont répartis dans plus de 100 unités (laboratoires ou centres de recherches).

Le GDR IM est tout particulièrement attentif à la formation continue de ses membres, en particulier des plus jeunes. Il l’assure entre autres à travers l’organisation de Journées Nationales et d’une École Jeunes Chercheuses/Jeunes Chercheurs.


    Prochains évènements

    Il n\'y a pas d\'évènement prévu dans un futur proche.

    Derniers évènements

    22 novembre 2022
    17 novembre 2022

    Journée annuelle du GT Bioss

    Toute la journée
    LS2N / École Centrale – Nantes,
    17 novembre 2022

    Journées SeqBIM 2022

    novembre 17 - novembre 18
    Labri, Talence, Talence, France
    + Google Map
    16 novembre 2022

    Journées Graphes et Algorithmes 2022

    novembre 16 - novembre 18
    10 octobre 2022

    Journées Calculabilités 2022

    octobre 10 - octobre 11
    LORIA, Nancy, France
    + Google Map