(ISR 2017 Advanced Track)
course annoucement pdf
slides part 1, part 2
paper on Automatic Termination, RTA 2009
online exercises (general description of exercise system)