[SMT-LIB] CFP: IWS 2012

[Bruno Dutertre]

CALL FOR PAPERS

2nd Joint International Workshop on Strategies in Rewriting, Proving and Programming

1 July 2012, Manchester, UK

Submission data: 9 April 2012

Check the attached file or the following link for more details:

http://www.dcs.kcl.ac.uk/staff/maribel/IWS2012/IWS2012.html

-------------- next part --------------
A non-text attachment was scrubbed...
Name: IWS2012cfp.pdf
Type: application/x-acrobat
Size: 35594 bytes
Desc: not available
URL: </pipermail/smt-lib/attachments/20120224/b6506f10/attachment-0001.bin>