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-2009). Miller also taught a graduate level course on “Proof systems for linear, intuitionistic, and classical logic.” Dipartimento di Informatica, Universitá Ca' Foscari di Venezia, 15-24 April 2009.

Stéphane Lengrand teaches the course “Logique formelle et Programmation Logique” at the École d'ingénieur ESIEA (2009). He teaches lab sessions in the main computer science curriculum of the Ecole Polytechnique.