We invite submissions of full-length papers that describe new research, tools, technologies, and industry experience, as well as position papers. Papers should be submitted in PDF format and should not exceed ten pages (including all text, figures, references and appendices). Each submitted paper must conform to the IEEE Format and Submission Guidelines. Workshop Proceedings will be published in the IEEE Digital Library. A special issue of the Journal of Logic and Algebraic Programming will be devoted to the best papers accepted in the workshop

You can submit your paper by following this link.

Style files

For instructions on preparing the extended abstract in accordance with the IEEE two-column proceedings format, see Author Guidelines for 8.5x11-inch Proceedings Manuscript (there is also a PostScript copy of the Guidelines in the the zipped file below).

For your convenience, here are the IEEE LaTeX style file and documentation (and a format file, if you are a MS-Word user):

Please ignore any instructions specifically concerning the preparation of the final proceedings version of a paper (e.g. submission of abstract to IEEE, submission of copyright form). Also, do not contact IEEE with questions regarding the preparation of extended abstracts.