On the occasion of International Joint Conference on Automated Reasoning (IJCAR), Malika Boudiba, a France 3 Grand Est journalist, made an article : “Connaissez-vous cette discipline entre mathématiques et informatique qui révolutionne notre quotidien ?”.