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.


Logo Inria Logo Grenoble INP Logo LIG Logo CNRS Logo UJF
Logo RMIT Logo LaMetro