WIR2014, Workshop on infinitary rewriting
ppt version
pdf version