RTA 2006: International Conference on Rewriting Techniques and Applications 2006