Le GDR en quelques mots

Le GDR­ AL­P s­'est transformé en le GDR Informatique Mathématique (GDR IM) à partir du 1er janvier 2006. L'informatique mathématique (IM) étudie et analyse­ de nouvelles problématiques issues des grandes questions info­rmatiques, qui ont toutes un point commun : elles sont ­­math­ématisables,­ à l'aide d'outils de mathématiques.

Rapport de l'académie des sciences

Le rapport de l'Académie des sciences

"L'enseignement de l'informatique en France; il est urgent de ne plus attendre"

(mai 2013) est en ligne à l'adresse suivante (34 pages PDF) :
http://www.academie-sciences.fr/activite/rapport/rads_0513.pdf

Le GDR Informatique Mathématique soutient ce texte qui concerne la discipline toute entière et vous invite à le diffuser.

Évenements à venir...

Journées annuelles du GT-Verif

16/06/2014 - 09:00
18/06/2014 - 18:00

=============================================================
Les deuxièmes journées annuelles du GT-Verif auront lieu les

16, 17 et 18 juin 2014, au LIP6 (Paris)
http://gt-verif.loria.fr/2014

=============================================================

Le GT Vérification est un groupe de travail du GdR-IM. Ce groupe de travail a pour thématique centrale la vérification. Il s'agit d'un thème assez général, recouvrant plusieurs aspects assez différents: étude et mise au point de modèles formels, model-checking, preuves automatiques ou interactives, etc.

Journées du groupe de travail « Calcul Formel »

03/11/2014 - 00:00
07/11/2014 - 18:00

les prochaines journées « calcul formel » auront lieu du 3 au 7 novembre 2014 au CIRM (Luminy, près de Marseille).