All submissions will be evaluated by the program committee. Regular papers, tool papers, and work-in-progress papers that are accepted will be presented at the workshop and included in the pre-proceedings, which will be available during the workshop. Following the tradition of the last editions, the regular papers, tool papers, and invited presentations will be published as a volume in Springer’s Lecture Notes in Computer Science (LNCS) series to be distributed after the workshop.

A special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) will be devoted to extended versions of selected papers from WRLA 2018.


Comments are closed