Informatique fondamentale et ses Mathématiques

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 2024 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.
Cinq thèmes sont présentés par six spécialistes du domaine, à la fois du point de vue du mathématicien et du point de vue de l’informaticien : les processus stochastiques, la combinatoire, la synthèse et la vérification, la cryptographie, et la programmation probabiliste.

Avec les contributions de Romain Azaïs, Guillaume Baudart, Mathilde Bouvel, Damien Busatto-Gaston, Marine Minier et Christine Tasson