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