Teaching (back)

Lectures at MPRI:

2011: (ongoing) course on Weak memory concurrency.

2010: course on Proof Methods for Concurrent Programs.

2009: course on Proof Methods for Concurrent Programs.

2008: course on pi-calculus.

2007: course on CCS and the pi-calculus, 2007.

2006: course on pi-calculus, 2006.

Summer Schools:

UPMARC Multicore Computing summer school, course on Shared memory: an elusive abstraction, June 2011.

BISS 2005, course on Strong Static Typing and Advanced Functional Programming.

CEA-EDF-INRIA Summer Schools:

NEW:Functional Programming for Parallel and Concurrent Applications, 11-22 June 2012, CEA Cadarache.

Modelling and Verifying Algorithms in COQ: an introduction, 14-18 November 2011, INRIA, Paris.

Deep into SmallTalk, 7-11 March 2011, IRCICA, Lille.

Modelling and Verifying Algorithms in COQ: an introduction, 7-11 June 2010, INRIA, Paris.

Last update: