Les inscriptions sont ouvertes pour les journées thématiques : Preuve et démonstration en mathématiques, IA et environnements informatiques pour l’apprentissage humain.
Ces journées, organisées en l’honneur de Nicolas Balacheff, auront lieu à Grenoble les 18 et 19 juin 2026.
Les inscriptions, gratuites mais obligatoires, sont ouvertes du 19 mars au 5 mai 2026 sur le site des journées : https://preuve-ia-eiah.sciencesconf.org