Journées thématiques Preuve et Démonstration en Mathématiques, IA et Environnements Informatiques pour l'Apprentissage Humain
Soumis par mlefevre le 26 février, 2026 - 08:17
Ces journées thématiques, organisées en l’honneur de Nicolas Balacheff, porteront sur deux domaines majeurs : l’intelligence artificielle en éducation et la preuve en mathématiques. À travers une série de conférences, elles proposeront un état des avancées récentes et l’ouverture de nouvelles perspectives de recherche.
