Compilation de cours proposés au cours de journées d'études organisées en 2018. Ils abordent l'informatique mathématique à travers cinq thématiques principales : combinatoire et couplage probabiliste, satisfaisabilité propositionnelle et modulo théories, géométrie numérique, analyse des réseaux booléens et le logiciel Sage.