The conference proceedings will be published by the IEEE Conference Publishing Services (CPS). Papers presented at the conference will also be submitted for inclusion into the IEEE Xplore and to all of the A&I (abstracting and indexing) partners (such as the Ei Compendex and DBLP).
Papers of top quality will be invited to submit their extended versions to a special issue of Journal of Systems and Software published by Elsevier.