1st International Workshop on Infinitary Rewriting (WIR 2013)