Research papers must contain original research results not submitted and not published elsewhere. They will be considered for inclusion in the EPTCS proceedings of the symposium, which will be indexed in the Web of Science. Authors who want to present work in progress or discuss new aspects or a survey of their older research results at the workshop are welcome to submit an extended abstract (up to 8 pages). Papers will be refereed and accepted on the basis of their scientific merit and relevance to the topics of the symposium.
Accepted papers must be presented at the symposium. At least one author should register.
Authors of selected papers will be invited to submit an extended version to a journal, most probably the Journal of Logical and Algebraic Methods in Programming, subject to formal approval by Elsevier.
