This is the material for X. Leroy's lectures in the MPRI 2-4 course (Sept 17th to Oct 22nd). Click on the following links for the other lectures:
Note: no lecture on Sept 24th
Outline for the whole course.
Slides for the lectures:
Exercises and some answers (for parts 1, 2, and 3).
Further reading: (optional)
Final exam, with answers, for year 2010-2011 (covers G. Castagna's and X. Leroy's parts of the 2-4 course).
Mid-term exam, with answers, for year 2011-2012 (covers X. Leroy's and D. Rémy's parts of the 2-4 course).