NETIS 2025 : IA et raisonnement formel, quand les mathématiques réinventent la science

NETYS 2025 : IA et raisonnement formel, quand les mathématiques réinventent la science

Lors de la 13ᵉ l’édition de NETIS 2025, un évènement international consacré à l’intelligence artificielle (IA) qui s’est tenu à l’Université Mohammed VI Polytechnique (UM6P), Swarat Chaudhuri, professeur à l’Université de Texas et Google DeepMind, a présenté une vision avant-gardiste de l’IA au service de la découverte scientifique. La preuve formelle, un problème mathématique pour…

Le Conseil Supérieur des Ouléma tient sa 35ᵉ session printanière les 23 et 24 mai à Rabat

Le Conseil supérieur des Ouléma tient sa 35ᵉ session printanière les 23 et 24 mai à Rabat

Avec la haute approbation du roi Mohammed VI, président du Conseil supérieur des Ouléma, cette instance religieuse nationale tiendra sa 35ᵉ session printanière ordinaire les 23 et 24 mai à Rabat. Les travaux de cette session débuteront vendredi 23 mai, après la prière d’Al Asr, au siège du secrétariat général du Conseil, indique un communiqué…