## Section: Dissemination

### Teaching

From December 17 to December 22, 2007, Lutz Straßburger teaches a course on "Introduction to Deep Inference and Proof Nets" (together with Paola Bruscoli, University of Bath) at the Technische Universität Dresden for the International MSc Program in Computational Logic.

Dale Miller 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, 2007).