Topics of interest include, but are not limited to:

• formal methods technology transfer
• scalable formal methods
• requirement analysis and specification
• software specification, verification and validation
• component-based development
• programming languages and type theory
• formal models for service-oriented computing
• web and grid computing
• formal models for web services, choreography and orchestration
• formal aspects of security and mobility
• model checking for software and hardware systems
• theorem proving and decision procedures
• program analysis
• real-time, hybrid and embedded systems
• safety-critical and fault-tolerant systems
• interactive systems and human error analysis
• software architectures and their description languages
• object and multi-agent systems, aspect oriented development
• coordination and feature interaction
• formal aspects of software evolution and maintenance
• formal methods for testing, re-engineering and reuse
• light-weight formal methods
• CASE tools and tool integration
• applications of formal methods and industrial case studies