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…
Continue reading