Vérification lundi 28 janvier 2019, 11h00, Salle 1007 Mark Batty (University of Kent) tba tba Vérification lundi 11 février 2019, 11h00, Salle 1007 Stéphane Demri (LSV - CRNS & ENS Paris Saclay) tba tba Vérification jeudi 28 mars 2019, 14h00, TBC Matteo Maffei (TU Wien) tba tba Vérification lundi 15 avril 2019, 11h00, Salle 1007 John Wickerson (Imperial College London) tba tba