Solicited topics include, but are not limited to: Automated reasoning techniques Component-based systems 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 Maintenance and evolution Software testing, verification, and validation Software visualization Model-driven engineering Open systems development Product line methods Program understanding Program synthesis Program transformation Re-engineering Requirements engineering Specification languages Software Analysis Software architecture and design Model-based software development Model transformations Modeling language semantics