cat
vendredi 18 septembre 2015, 14h00, Salle 1007
Yves Guiraud () Le théorème de Squier pour les algèbres I

automates
vendredi 21 décembre 2018, 14h30, Salle 3052
Jérôme Leroux (LaBRI) The Reachability Problem for Petri Nets is Not Elementary

automates
vendredi 22 février 2019, 14h30, Salle 3052
Georg Zetzsche (MPI) TBA