The next conference will take place on Wednesday, September 28 at 4:00 pm (Paris time).
It will be given by videoconference by Assia Mahboubi, tenured researcher at Inria, Gallinette Inria Research Team, on the theme « Formal methods and computational mathematics ».
