The slides are temporarily available at: * http://www.cs.uu.nl/people/martin/ipa06/ipa06-slides.pdf