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

    10 avril 2022

    GT Codes et Cryptographie (C2)

    10 avril 2022 - 15 avril 2022
    Azureva à Hendaye,

    Derniers évènements

    25 novembre 2021

    seqBIM 2021

    novembre 25 - novembre 26
    Lyon (campus de la Doua), France
    + Google Map
    23 novembre 2021

    GT Bioss (Biologie Systémique Symbolique) 2021

    Toute la journée
    Lyon (université Claude Bernard), France
    + Google Map
    17 novembre 2021

    GT Vérif 2021

    novembre 17 - novembre 19
    15 novembre 2021
    15 novembre 2021