The aim of the course is the introduction of the theory of abstract interpretation, an important tool for reasoning about semantics, for static program analysis and verification.

A few practical abstract interpreters for functional programs will be shown. One of them will allow us to make comparisons with the type system approach. Some applications to logic programs will also be covered.

This is a course of Vienna PhD School of Informatics. This is a Computational Intelligence area course of a visiting professor.

Course by Prof. Giorgio Levi (University of Pisa/Italy).

The course will be held as follows:
March 28, 10:00-12:00 (seminar room Goedel, Favoritenstrasse 9)

March 29, 10:00-12:00 (seminar room 8, Karlsplatz 13, ground floor, courtyard 2, staircase 7)
March 29  14:00-16:00 (seminar room Goedel, Favoritenstrasse 9)
March 30  10:00-12:00 (seminar room Goedel, Favoritenstrasse 9)
April 2   10:00-12:00 (seminar room Goedel, Favoritenstrasse 9)
April 3   10:00-12:00 (seminar room Goedel, Favoritenstrasse 9)