Best paper award at RTA 2015

Our paper on A Coinductive Framework for Infinitary Rewriting and Equational Reasoning got the best paper award at RTA 2015!