Section: Dissemination

Teaching

Our project-team 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 2009-January 2010.

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

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

• “J-O-Caml”, Master Course, November-December, Tsinghua University, Beijing (15 students, 12h + final exam) http://jeanjacqueslevy.net/courses/tsinghua/j-o-caml .

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.