International Conference on

Rewriting, Deduction, and Programming

June 29 to July 3, 2015

Warsaw, Poland