M2-6: Abstract interpretation: application to verification and static analysis

This page describes the organization of the course and gives access to the course slides. The course is presented in the M2-6 page on the MPRI site.

New: The list of internship proposals has been updated.


The course takes place on Friday, from 8:45 to 11:45, at University Paris 7, Sophie Germain Building, Room 1009 (access map, local copy).

The course is organized in two periods of 8 courses. The first period is from 20 September 2013 to 15 November 2013 and is followed by a written exam on 6 December 2013. The second period is from 13 December 2013 to 21 February 2014 and is followed by an oral exam on 7 March 2014. The oral exam consists in the presentation of a research article; the list of articles will be provided a few weeks before the exam.

Syllabus and course slides

You will find here the provisional course plan. The course plan will be updated progressively and the slides of the courses will be put on-line after each course, so, please consult this page regularly.

First Period

Written exam: on 6 December 2013. (see also the former written exams)

Second Period

Oral exam: on 7 March 2014.


There are no course notes for this course. In addition to perusing the course slides which are put on-line after each course, the students are encouraged to look at the following articles:

Former written exams

Internship proposals

You will find below a list of M2 internship proposals related to the course, either in the Abstraction team at the ENS or outside. The list will be updated regularly. Feel free to contact directly the teachers for more information and more proposals.