Informatique Fondamentale et ses Mathématiques

Les Groupements de Recherches (GdR) sont un outil du CNRS visant à animer, structurer et promouvoir les recherches scientifiques sur des thématiques spécifiques. Le GdR Informatique Fondamentale et ses Mathématiques (IFM) a été créé le 1er janvier 2024 par l'institut Sciences Informatiques du CNRS pour cinq ans. Il s'inscrit dans la suite directe du GdR Informatique Mathématique (IM) créé en 2006.

Le GdR IFM couvre une très grande part des domaines fondamentaux sur lesquels repose l’informatique, et maintient à ce titre des liens très étroits avec les mathématiques. Il regroupe plus de 2500 scientifiques, majoritairement informaticien·nes ou mathématicien·nes, mathématiciennes, réparti·es dans plus d'une centaine d'unités en France (laboratoires universitaires, unités mixtes de recherche CNRS, centres de recherches Inria, etc.), voire même à l’étranger.

Le site MyGDR fournit une liste exhaustive des personnels et des unités de recherche membres du GdR IFM.

Les domaines de recherche couverts par le GdR IFM se structurent en cinq axes thématiques, non disjoints :

Axe 1 : Combinatoire, graphes et systèmes dynamiques
Axe 2 : Calculabilité, complexité, algorithmique et calcul quantique
Axe 3 : Calcul formel, arithmétique et cryptologie
Axe 4 : Programmes, vérification, preuve, automates et logique
Axe 5 : Géométries et image

Les activités du GdR IFM sont structurées en groupes de travail (GT) spécialisés, dont certains communs avec d’autres GdR. La vie scientifique du GdR se déroule au travers des réunions annuelles de ses GT, de ses journées nationales annuelles, de son école dédiée aux jeunes chercheurs et chercheuses, et de diverses actions spécifiques dont des journées transverses, les années thématiques, etc.