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

Comments are closed.