Submissions must be formatted according to the IEEE formatting guidelines and submitted through EasyChair. Submissions that exceed the page limits as specified above, outside the scope of the symposium, or do not follow the formatting guidelines may be rejected without review. At least one author of each accepted paper is required to pay the full registration fee and to present the paper at the conference. All accepted papers will be published in the electronic proceedings by the IEEE Computer Society, indexed through INSPEC and EI Index, and included in the IEEE digital library.

Track A: Theoretical foundations of assurance (8 pages, including all materials e.g. references, figures, tables and appendices)
Track B: The practice of assurance (8 pages)
Track C: Tools: 4 pages
Track D: Fast Abstract and New Ideas (2 pages)

Submissions that exceed the page limits as specified above, outside the scope of the symposium, or do not follow the formatting guidelines may be rejected without review. At least one author of each accepted paper is required to pay the full registration fee to the conference. Authors of papers under "Student Session", and authored exclusively by one or more students, will pay reduced student registration fee.

Each accepted paper must be presented in person by the author or one of the authors. All accepted papers will be published in the electronic proceedings by the IEEE Computer Society, indexed through INSPEC and EI Index, and automatically included in the IEEE digital library.