Informatique Mathématique : une photographie en 2013

Cet ouvrage, premier du genre, rassemble les cours dispensés lors de l'édition 2013 de la classique Ecole des Jeunes Chercheurs du GDR IM (Groupe de Recherche Informatique Mathématique) du CNRS, qui se déroulera du 8 au 12 avril 2013 à l'Université de Perpignan Via Domitia. Chaque cours fait l'objet d'un chapitre présenté par des spécialistes français internationalement reconnus. Les grands axes de l'Informatique Mathématique, algorithmique et combinatoire, logique et complexité, calcul formel, arithmétique et géométries, sont illustrés par des sujets d'actualité : complexité et algorithmes paramétrés, matroïdes, programmes, preuves et fonctions, interprétation abstraite pour la précision numérique, arithmétique des ordinateurs et preuves formelles, analyse géométrique des données.
Les jeunes chercheurs, docteurs plus ou moins deux ans, mais aussi les moins jeunes, pourront ainsi (re)découvrir les fondements des sujets choisis pour composer ainsi une photographie de la recherche en Informatique Mathématique en 2013.