Laurent Fribourg ran a Seminar@SystemX on November 4 in SystemX’s premises on the following topic: « Quelques avancées récentes dans la synthèse de contrôle d’automates hybrides ».