13:00
14:00
[LX] Thomas Colcombet - Bisimulation invariant MSO over finite transition systems
salle 178 & https://u-bordeaux-fr.zoom.us/j/83965459705