Topics of interest, but not limited to:

• Architecture and design for dependable software

• Big data and cloud computing

• Components, services, and middleware

• Embedded and real-time software

• Empirical software engineering

• Formal methods and testing

• Human and social factors for dependable software

• Knowledge based software engineering

• Mobile, ubiquitous, and pervasive software

• Safety-critical systems

• Safety, security, and reliability

• Software evolution and maintenance