This list describes the various courses on Logic and Computer Science in which I have been involved since 1998.

Laboratory for Foundations of Computer Science

I taught a semester course on
« Advanced Rewriting Theory » in the PhD student course at the Laboratory four Foundations of Computer Science in Edinburgh, during the academic year 1998-1999. The course was organized along the following topics:

DEA de Logique Mathématique

I taught the course of « Advanced Rewriting Theory» at the DEA de Logique Mathématique et Fondements de l'Informatique de l'Université Paris 7, during the academic year 2000-2001. The DEA course was mainly expanding my previous course in Edinburgh. Partial lecture notes are available here.

DEA Programmation: Sémantique, Preuves et Langages

I taught the course on « Games Semantics » at the DEA Programmation of the Université Paris 7, during the four academic years 2000-2004.

Ecole Doctorale

In June and July 2008, I taught an introductory course on « Quantum groupoids and tensorial logics » at the Ecole Doctorale de Science Mathématiques. A general description of the course appears here.

Master Parisien de Recherche en Informatique

I organize the course « Programming Languages Semantics » at the Master Parisien de Recherche en Informatique de l'Université Paris 7. The course is organized along three main topics: The slides and exercises (in French) of the course appear here.

Ecole Normale Supérieure

I teach the course Lambda-calculus and Categories at Ecole Normale Supérieure. The slides and exercises (in French) of the course appear here.