Section: Dissemination
Teaching
Our projectteam participates to the following courses:

J. Alglade is instructor (moniteur ) of the lab courses for courses “Algorithmique Expérimentale” and “Programming in C” at U. of Paris 12 (Créteil), September 2009January 2010.

“Concurrency”, Master Parisien de Recherche en informatique (MPRI), 20082009, at U. of Paris 7, 15 students, (F. Zappa Nardelli taught the picalculus semantics: 12 hours and the final examination);

“Introduction to the Coq proof assistant”, F. Zappa Nardelli January, Purdue University, USA (2 hours).

“JOCaml”, Master Course, NovemberDecember, Tsinghua University, Beijing (15 students, 12h + final exam) http://jeanjacqueslevy.net/courses/tsinghua/jocaml .
We also had the following activity related to teaching:

L. Maranget coordinates the 3 computer science problems (4h + 2h + 2h) of the entrance examination at the Ecole polytechnique in 2009.

June 16, J.J. Lévy participated to the workshop about Computer Science for Education and presented a talk Combien d'objets dans cette image? to mathematics teachers of the Académie de Versailles

December 9, J.J. Lévy gave a talk on “Lambda calculus and Programming” in the G. Berry lectures at the Collège de France in Paris.