12th International School on Rewriting, Madrid

• 2021 Finite Developments in the Lambda-Calculus

Universidad de Buenos Aires (ECI)

• 2013 Reductions and Causality

Tsinghua University, Beijing

• 2013 Coq: functions, datatypes, polymorphism
• 2011 Reductions and Causality
• 2010 Lambda-Calculus
• 2009 J-O-Caml

MPRI

• 2005-2006 Concurrence (c2, c3, c4, exam)
• 2004-2005 Concurrence (c1, c2, c3)
• 2003-2004 Concurrence (c1, c2, c3, c4, c5, exam)

École Polytechnique

• 2005-2006 Lambda Calcul (3ème année M1)
• 2001-2006 Informatique Fondamentale (2ème année)
• 2000-2001 Initiation à la programmation (1ère année)
• 1999-2001 Langages de programmation (majeure M1)
• 1997-1998 Langages et Compilation (majeure M1)
• 1995-1996 Systèmes et Réseaux (majeure M1)
• 1992-2001 Algorithmes et Programmation (tronc commun)
• Des petites classes du tronc commun
  2000-2001 PCs et TDs
  1998-1999 [1 2 3 4 5 6 7 8 9 10] (groupes 1 et 11)
  1996-1997 [1 2 3 4 5 6 7 8 9 10] (groupes 1 et 11)
  1994-1995 [1 2 3 4 5 6 7 8 9 10] en DVI
  1992-1993 [1 2 3 4 5 6 7 8 9 10] en DVI
• Des travaux dirigés du tronc commun
  1998-1999 par Pierre Weis et François Pessaux
  1996-1997 par Pierre Weis et Cédric Fournet

Concours d'entrée à l'École Polytechnique

• 2009 2008 2007 2006 2005 2004 2003 MPI (Informatique 4h)
• 2009 2008 2007 2006 2005 2004 2003 MPSI-PC (Informatique 2h)
• 2009 2008 2007 2006 2005 2004 2003 PSI-PT (Informatique 2h)
  

École européenne d'études avancées (EEEA)

• 2023 Fonctionnalité et Modularité
• 2022 Programmation fonctionnelle et Parallélisme
• 2022 SQL et Bases de données
• 2021 JavaScript et HTML
• 2021 Langages de Programmation
• 2020-2022 Informatique et Programmation

Pour les lycées

• 2011 Les dominos de Wang, Revue quadrature, Octobre-Novembre-Décembre 2011 (PDF)
• 2009 Combien d'Objets dans cette image?, INRIA, Rocquencourt, Juin (PDF)
• 2007 L'informatique en 4 temps, Médiatèque, Drancy, October (PDF)

Miscellanous

• 2017 A short note on Coq principles (Iscas, Beijing)

Quelques liens

• Cimpa School, IISc Bangalore, 2005
• Les cours d'informatique de l'X
• Le polycopié du tronc commun
• Le polycopié version 1.2 et son annexe Caml
• Informations diverses sur le tronc commun
• Ma page à l'INRIA et celle du projet MOSCOVA