Team Parsifal

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

Section: Dissemination

Teaching

Dale Miller co-teaches the course “Logique Linéaire et paradigmes logiques du calcul” in the masters program MPRI (“Master Parisien de Recherche en Informatique”) (2004-2008).

Stéphane Lengrand teaches the course “Logique formelle et Programmation Logique” at the École d'ingénieur ESIEA (2008).


previous
next

Logo Inria