[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CFP: IWS 2012



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

IWS2012cfp.pdf