A l'occasion de l'International Joint Conference on Automated Reasoning (IJCAR), Malika Boudiba, journaliste à France 3 Grand Est, a réalisé un article : “Connaissez-vous cette discipline entre les mathématiques et l'informatique qui révolutionne notre quotidien ?”.