Authors are invited to submit papers presenting their contributions in two different categories. Regular research papers will correspond to original unpublished work, and they must be at most 15 pages long. Work-in-progress and contributions previously submitted for formal publication elsewhere are also permitted with a limit of 8 pages.
The abstracts of all the accepted contributions will be available at the workshop, and accepted regular papers will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS). After the workshop, selected papers will be published in a special issue of the Journal of Logic and Algebraic Programming (Elsevier), following the standard reviewing process of the journal.
Submissions must be formatted in EPTCS style, accessible at the web site EPTCS, and they should be submitted in pdf format electronically via the web-based submission site Easychair