Team Parsifal

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

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).


previous
next

Logo Inria