Calendrier du Cédric

Deux exposés: Armaël Guéneau: "How can we formally verify (using a proof assistant) that a program is not only functionally correct, but also has the right asymptotic complexity?", et Chaima Zammali, ATER à l'équipe LAETITIA: "Robust state estimation for switched systems: Application to fault detection".