[GdT Log&Prog] Vendredi 20 mai (demain), 11h

Bonjour, Faute de mieux, le gdt se réunira demain avec une deuxième séance de travail sur la preuve de D. de Carvalho de l'injectivité de Rel. À 11h en B107, si cela vous intéresse ! Amicalement, Damiano