Enseignement (Patrick Baillot)





  • 2015-2016:
    Implicit Computational Complexity, avec Olivier Laurent, Cours M2 (CR-013) Master IF, ENS Lyon.
    Logiques et langages pour la complexité, avec Arnaud Durand, Cours M2, Master LMFI , Université Paris 7.
    TD-TP Logique classique, Théorie des langages formels, Licence, Université Lyon 1.

    Back to my homepage.