The topics of interest for this conference include, but are not limited to:

• Formal requirement analysis, modeling, specification and design
• Abstraction and refinement
• Formal methods for probabilistic verification and synthesis
• Programming languages, program analysis and type theory
• Formal methods for self-adaptive systems, service-oriented and cloud computing
• Formal aspects of security and mobility
• Model checking, theorem proving and decision procedures
• Formal methods for real-time, hybrid and embedded systems
• Formal methods for safety-critical, fault-tolerant and secure systems
• Software architecture and coordination languages
• Software verification and validation
• Component, object and multi-agent systems
• Formal aspects of software evolution and maintenance
• Formal methods for testing, re-engineering and reuse
• Light-weight and scalable formal methods
• Tool integration
• Applications of formal methods, industrial case studies and technology transfer
• Education and formal methods
• Interactive systems and human error analysis
• Formal methods for HCI
• Formal analysis of human behaviour

Authors are invited to submit original research or tool papers on any relevant topic. For more details on how to submit, see the Submission page.