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