Rencontre, 4 avril 2019

Programme

10:30 – 12:00
Xavier Leroy (Collège de France, INRIA)
Invited talk: TBA