Giorgio Levi

Abstract interpretation: from theory to applications

Professor Giorgio Levi will hold a course on "Abstract Interpretation: from theory to applications".

DATE:Wednesday, March 28, 2012 – Tuesday, April 3, 2012
VENUE:Seminar room Gödel

ABSTRACT

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.

The course will be held in block, in the seminar room Goedel, on:

March 28 10:00-12:00
March 29  14:00-16:00
March 30  10:00-12:00
April 2   10:00-12:00
April 3   10:00-12:00

Comments are closed.