Trois étudiants de RobotX, une équipe de robotique du lycée de la ville de Hunedoara, en Roumanie, ont développé un programme informatique qui fonctionnera sur la Station spatiale internationale (ISS) ...

(Keystone-ATS) Le Canton de Vaud ne veut plus collaborer avec la société bernoise Xplain pour moderniser le système informatique central de ses polices, connu sous le nom de programme Odyssée. Le ...

Avec la frénésie actuelle autour de l’intelligence artificielle générative (IA), nombreux sont ceux qui s’angoissent à l’idée que l’IA remplace des emplois. Beaucoup d’enseignants universitaires ...

Les assistants à la preuve, des programmes informatiques capables de vérifier automatiquement la validité d’une démonstration, font leur arrivée dans les laboratoires. Remportant toujours plus ...