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
Giorgio Levi
Course on Abstract Interpretation: from theory to applications
March 28 to April 3, 2012 in seminar room Gödel