13:00
14:00

[LX] Thomas Colcombet - Bisimulation invariant MSO over finite transition systems

salle 178 & https://u-bordeaux-fr.zoom.us/j/83965459705