Enseignement

TD de Langages formels, calculabilité et complexité

Les cours sont assurés par Eugène Asarin.

Page du cours

Cours Fondements sur la modélisation des réseaux (MPRI)

Cours assurés avec François Baccelli.

Page du cours