Conférence Invitée : Patricia Bouyer-Decitre

Pour la conférence invitée de ce mercredi, nous avons accueilli Patricia Bouyer-Decitre, Directrice de Recherche au Laboratoire de Méthodes Formelles de l'ENS Paris-Saclay. Son exposé était intitulé "De l'analyse automatique de systèmes temporisés au contrôle de systèmes dynamiques".

Ses transparents sont disponibles ici.