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 TBA Preuves, programmes et systèmes jeudi 07 février 2019, 10h30, Salle 3052 Sandra Alves () TBA TBA