. Solicited topics include, but are not limited to:

• Automated reasoning techniques

• Component-based service-oriented systems

• Cloud computing

• Computer-supported cooperative work

• Configuration management

• Data mining for software engineering

• Domain modeling and meta-modeling

• Empirical software engineering

• Human-computer interaction

• Knowledge acquisition and management

• Mobile app development

• Maintenance and evolution

• Model-driven development

• Program synthesis & transformations, automated defect repair

• Program comprehension

• Reverse engineering and re-engineering

• Recommender systems for software engineering

• Requirements engineering

• Specification languages

• Software analysis

• Software architecture and design

• Software product line engineering

• Software visualization

• Software security and trust; data privacy

• Testing, verification, and validation