Cet ouvrage, premier du genre, rassemble les cours proposés à l'édition 2013 de l'École des jeunes Chercheurs en Informatique Mathématique, organisée à Perpignan du 8 au 12 avril 2013.

L'Informatique Mathématique, IM, regroupe des thématiques relevant a priori de tous les domaines de l'informatique, pourvu que la démarche de recherche, le point de vue adopté, soient « mathématisables ». Le GDR IM rassemble les chercheurs du territoire national travaillant en informatique mathématique. Avec eux, il contribue à mieux faire vivre le domaine IM, par le biais d'actions de structuration et d'animation scientifiques, et de formation. Ainsi chaque année depuis 1996, il organise l'EJCIM, l'École des Jeunes Chercheurs en Informatique Mathématique. Ces écoles permettent aux jeunes chercheurs - doctorants ou jeunes docteurs - de compléter leur connaissance du domaine IM.

Cet ouvrage rassemble six thèmes présentés par onze spécialistes français du domaine : la complexité et les algorithmes paramétrés, la théorie des matroïdes et des matroïdes orientés, la correspondance entre preuves et programmes, l'interprétation abstraite pour la précision numérique, les preuves formelles en arithmétique des ordinateurs, et l'analyse géométrique des données. Les cours choisis pour chaque édition de l'école visent à une présentation équilibrée des différentes thématiques du domaine IM. Ainsi cet ouvrage propose une photographie de l'informatique mathématique, photographie prise à l'occasion de l'EJCIM, édition 2013.