15:00– Europe/Lisbon
Room P3.10, Mathematics Building
— Online
Gabriel Nahum, INRIA Lyon