Preuves, programmes et systèmes
jeudi 24 janvier 2019, 10h30, Ens Lyon
Seminaire Chocola (Ens Lyon) TBA

Preuves, programmes et systèmes
jeudi 31 janvier 2019, 10h30, Salle 3052
Lionel Vaux (I2m) TBA

Preuves, programmes et systèmes
jeudi 07 février 2019, 10h30, Salle 3052
Sandra Alves () TBA