13:00
14:00

GT LX - Antonio Casares - A characterization of positional omega-regular languages

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