The Coq mailing list

[scm-ml <scm-ml AT iis.sinica.edu.tw>]

*correction* PEPM 2013: Preliminary Call for Papers

The call for papers we sent several hours ago was, of course,
about PEPM 2013, rather than PEPM 2012. The work shops will be
held during 20-21 January 2013, co-located with POPL 2013. 
Sorry for the confusion!

The previous CFP was otherwise correct. The full call for 
papers can be found on our homepage:

 http://www.program-transformation.org/PEPM13/CallForPapers

Thank you!