We solicit high-quality research contributions and position papers on the application of assurance case principles and techniques for software assurance, and on the treatment of assurance cases as artifacts to which the full range of software engineering techniques can be applied. Papers should attempt to address the workshop goals in general. Topics of interest include, but are not limited to:

1. -Methodologies: How do development and verification methodologies (including configuration management) transfer to an assurance case paradigm?
   

2. -Use of output from software engineering tools (testing, formal verification, code generators) as evidence in assurance cases and use of software engineering tools for the modeling, analysis and management of assurance cases.
   

3. -Application of formal techniques to the creation and analysis of arguments.
   

4. -Exploring relevant techniques for assurance cases for real-time, concurrent, and distributed systems.
   

5. -Assurance issues in emerging computational paradigms, e.g., cloud, mobile, virtual, many-core architectures, and adaptive and autonomous systems.
   

6. -Representation of structured arguments through meta-models.
   

7. -Assurance of software quality attributes, e.g., safety, security and maintainability as well as dependability in general; exploring notions of quality of assurance cases.
   

8. -Domain-specific assurance issues, in domains such as aerospace, automotive, healthcare, defense and power.
   

9. -Reuse and modularization: contracts and patterns for improving the reuse of assurance case structures.
   

10. -Connections between the Goal Structuring Notation for assurance cases and goal-orientation from the requirements engineering community.