Welcome to SEFM 2015

  • The SEFM 2015 programme is now available.
  • The on-line SEFM 2015 registration is now open. You can find more information here.

The 13th edition of the International Conference on Software Engineering and Formal Methods will be held in York, UK between 7-11 September 2015. The conference aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

Authors are invited to submit full research papers (up to 15 pages) describing original research results, case studies and tools; and short new ideas/work-in-progress papers (up to 6 pages) describing new approaches, techniques and/or tools that are not fully validated yet. The topics of interest include, but are not limited to, the following aspects of software engineering and formal methods:

  • Formal requirement analysis, modelling, 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/cyber-physical 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

For details on how to submit a paper to SEFM 2015, see the Submission page.

Important Dates

  • Abstract submission: 13 March 2015 20 March 2015 AoE (extended)
  • Paper submission: 20 March 2015 27 March 2015 AoE (extended)
  • Notification: 15 May 2015
  • Camera ready: 12 June 2015
  • Author early registration: 15 July 2015 BST (Registration page)

Keynote speakers

  • Peter O’Hearn - University College London and Facebook, United Kingdom
  • Cliff Jones - Newcastle University, United Kingdom
  • Edward A. Lee - University of California at Berkeley, United States

Leave a Reply