Master Course Program Analysis
The website is more or less up to date for the incarnation of this year.
Take heed though: the slides are subject to (a small amount of) change.
This is the homepage of the master course on program analysis that will be taught in the fourth period
of the 2005-2006 academic year.