Team Parsifal

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Other Grants and Activities
Dissemination
Bibliography

Section: Dissemination

Teaching

Miller teaches regularly at École Polytechnique. In 2005, he taught two ``petite classes''; one for INF 542 (Théorie des automates, langages formels, calculabilité) and one for INF 431 (Informatique Fondamentale - Spring 2003, 2004, 2005) and for INF 542 (Théorie des automates, langages formels, calculabilité - Fall 2003). Miller and Jouannaud taught in new course they designed for ``Majeure 2'' titled INF 585: Logics for Computer Science.

Miller also co-teaches the course ``Logique Linéaire et paradigmes logiques du calcul'' in the new masters program MPRI (Master Parisien de Recherche en Informatique) (2004, 2005, 2006).


previous
next

Logo Inria