Une équipe d’enseignants de l’ENS Cachan a réalisé un MOOC à destination des professeurs de mathématiques sur la logique informatique :
https://www.france-universite-numerique-mooc.fr/courses/ENSCachan/20004S02/session02/about
Ils proposent aux professeurs de mathématiques intéressés de s’inscrire. Les inscriptions sont déjà ouvertes et la diffusion commence le 9 novembre.