Informatique fondamentale et ses Mathématiques - Une photographie en 2025

L'Informatique fondamentale et ses Mathématiques (IFM) regroupe des thématiques relevant a priori de tous les domaines de l'informatique, pourvu que la démarche de recherche ou le point de vue adoptés soient " mathématisables ". Cet ouvrage réunit les cours proposés à l'édition 2025 de l'École des Jeunes Chercheuses et Chercheurs en Informatique fondamentale et ses Mathématiques (EJCIFM), organisée à Nantes du 17 au 21 juin 2024 dans le cadre du Groupe de recherche en Informatique fondamentale et ses Mathématiques (GdR IFM) du CNRS. Présentant de manière équilibrée différentes thématiques du domaine IFM, cet ouvrage en propose une photographie. Cinq thèmes sont présentés par sept spécialistes du domaine : l'informatique quantique, la sémantique, la combinatoire énumérative, l'évaluation symbolique numérique et la compilation de connaissances. Ces chapitres ont été écrits par Miriam Backens, Kostya Chardonnet, Pierre Clairambault, Julien Courtiel, Denis Arzelier, Mioara Joldes et Bruno Zanuttini. Cette école a bénéficié d'aides de la part du CNRS, de l'ANR PANDAG (ANR-23-CE48-0014), de l'Université de Caen, de l'équipe AMACC, du GREYC ainsi que de l'ENSICAEN