Authors wishing to give a talk at the workshop are requested to submit an abstract of 2-3 pages (pdf, printable on A4 paper) through EasyChair by 27th September, 2010. Submission of work submitted for formal publication elsewhere and work in progress is permitted.

The abstracts of the accepted contributions will be available at the workshop. After the workshop, selected papers will be invited for submission to a special issue of The Journal of Logic and Algebraic Programming.


Conference Images added. (15.11.2010)
Registration closed. (28.09.2010)
Registration opened. (27.09.2010)
Sponsors added. (20.08.2010)
Call for Papers added. (05.07.2010)