Submission of new papers for IWS 2012 (2nd Joint International Workshop on Strategies in Rewriting, Proving and Programming) is closed.

EasyChair uses cookies for user authentication. To use EasyChair, you should allow your browser to save cookies from easychair.org.