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


The course takes place on Friday, from 8:45 to 11:45, at the ENS, in room U/V.

The course is organized in two periods of 8 courses. The first period is from Friday 21 September 2012 to Friday 23 November 2012 and is followed by a written exam. The second period is from Friday 14 December 2012 to Friday 22 Ferbuary 2013 and is followed by an oral exam. The oral exam consists in the presentation of a research article; the list of articles will be provided a few weeks before the exam.


You will find here the provisional course plan and the slides. These will be updated progressively.

First Period

Exam: on Friday 7 December 2012. (see also the former exams)

Second Period

Exam: on Friday 8 March 2013

Former exams

Written exams and their corrections from former years are available on last year's cours.


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