Le GdR en quelques mots

­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'énergie consacrée, au sein de la communauté du GdR Informatique Mathématique (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. 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é : difficulté des problèmes, transitions de phases, liens entre la logique et la complexité.
  • Preuve : logique, certification de logiciels, preuves de programmes.
  • 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].

Vous pouvez visiter la Foire Aux Questions pour savoir comment devenir membre.

Tags:

Journées nationales du GdR IM 2019

Les journées JNIM (Journées Nationales de l’Informatique Mathématique) sont organisées chaque année par le GDR IM (Informatique Mathématique). C’est un lieu d'information et d'échange annuel entre chercheurs de la discipline et, tout particulièrement, entre chercheurs du GDR.

EJCIM Marseille 2019

École Jeunes Chercheurs et Chercheuses en Informatique Mathématique (EJCIM) à Marseille (CIRM) du 4 au 8 mars 2019.

Page web de l'école

Comment candidater aux postes académiques ?

Quelques informations, commentaires et conseils rassemblés par H. Berry, V. Berthé, I. Guérin-Lassous, C. Guillopé et A. Siegel destinés aux chercheurs en recherche de poste académique, mais qui peuvent intéresser une audience plus large (version mai 2017) Transparents de présentation.

Informatique Mathématique : une photographie

Depuis 2013 et à l'occasion de l'école Jeunes Chercheurs en Informatique Mathématique, un livre est publié qui sert à la fois de support de cours et de photographie de l'informatique Mathématique à cette occasion. Les cours choisis pour chaque édition de l'école visent à une présentation équilibrée des différentes thématiques du domaine IM.

Les livres parus

Événements à venir

Les manifestations soutenues par le GdR IM sont listées ci-après. Vous pouvez aussi accéder aux manifestations passées ayant reçu un soutien en suivant ce lien.

S'abonner à GdR Informatique Mathématique RSS