Mail colin [point] riba [a] ens-lyon.fr Page personnelle Domaines de recherche Logique modale, sémantique de jeu et automates d'arbres Bureau 322N Niveau M1 M2