Le prochain séminaire du D2 aura lieu le 3 décembre à 13h00 en salle A008. Orateur : Thibault Gauthier Titre : The Automation of Mathematics in Practice Abstract: This presentation provides an overview of automated systems actively used in proving mathematical theorems, focusing on the practical successes  achieved by SAT solvers, first-order theorem provers, and […]

The next D5 Seminar, "Deep Learning, Optimal Control, and Bio-Inspired Control for Dynamic Robots" will be held by Guillaume Bellegarda (EPFL) on Friday, December 6 at 1:30 p.m. in room A008. Abstract: Recent advances in machine learning, control, and robotics show promising results towards integrating autonomous systems into society. Legged robots in particular suggest potential […]

The next D5 Seminar, "Bio-inspired self-supervised learning of visual representations" will be held by Arthur Aubret, on Friday, December 13 at 1:30 p.m. in room C005. Abstract: Abstract: Despite recent advances in self-supervised visual machine learning, humans develop more robust representations with much fewer data. This may be explained by the fundamental differences between the […]