All papers accepted for inclusion in the workshop will appear in the proceedings which will
be published by the IEEE Computer Society Press.
In addition, authors of selected papers will be invited to submit extended version of their
papers for a special issue of The Science of Computer Programming Journal.