2nd Workshop on Infinitary Rewriting