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.
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):