Spring term 2005 Content: Course information Instructor Course objective and themes Course description Course notes Course schedule Assignments Personnal project Grading Final exam problem Bibliographic reference Course Information: Course number: 16.399 Title: Abstract Interpretation Units: H level course, 3-0-9 Lecture hours: Tuesday 11:00–12:30 and Thursday 11:00–12:30 (see the course schedule