International Conference on Software Engineering and Formal Methods


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

Требования к кандидатам

Papers should conform to the Springer LNCS style specified at

and should describe, in English, original work that has not been published or submitted for publication elsewhere. PDF versions of papers should be submitted electronically via EasyChair, using the link:

We solicit three categories of papers:

  • Research papers should describe fully developed work and should not exceed 15 pages. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available to reviewers. Case study papers should describe significant case studies and lessons learned.
  • Tool papers should describe an operational tool and its contributions. Tool papers should not exceed 15 pages. Please include the URL of the tool (if available).
  • New ideas/Work-in-Progress papers should describe new approaches, techniques and/or tools that are not fully validated yet. Papers in this category should not exceed 6 pages.

Important dates:

  • Abstract submission: 13 March 2015
  • Paper submission: 20 March 2015 (AoE)
  • Notification: 15 May 2015
  • Camera ready: 12 June 2015

Download Call for Paperspdf


York YO10 5DD United Kingdom

Оставить комментарий