skip to context

Formal Methods (FM)

© Springer

The Formal Methods subline is an integral part of the Lecture Notes in Computer Science (LNCS) series, exploiting the quick, reliable publishing infrastructure in place for LNCS to achieve timely worldwide dissemination of the latest research results both in printed and electronic form.

All volumes in Formal Methods


Formal methods are software and systems engineering techniques whose soundness is justified mathematically. Work in this area recognises the importance of a rigorous semantic basis for tools and notations. Such firm foundations permit the analysis of the various engineering artefacts to a depth that is otherwise impossible to achieve.


The Formal Methods subline has been established in cooperation with the Formal Methods Europe association, It is open to proceedings and tutorials associated with high-quality events, and to outstanding state-of-the-art surveys. Its goal is to include volumes covering work that is of direct relevance to software and systems engineering, and that has rigorous mathematical underpinnings. 

Embedded in the overall framework of LNCS, the Formal Methods subline is supervised by the Formal Methods subline’s Series Editors and Advisory Board. It is published with its own distinctive cover.

Editorial Board

Subline Series Editors

Ana Cavalcanti, University of York, UK
Annabelle McIver, Macquarie University, Sydney, NSW, Australia


Subline Advisory Board

  • Manfred Broy, TU Munich, Germany
  • Marieke Huisman, University of Twente, The Netherlands
  • André Platzer, Karlsruhe Institute of Technology, Germany, and Carnegie Mellon University, PA, USA
  • Erik de Vink, Eindhoven University of Technology, The Netherlands
  • Pamela Zave, AT&T Laboratories Research, Bedminster, NJ, USA 

Submission Information

To apply for inclusion of a volume in the series, event organizers should write to the subline series editor and provide the following information:

  • Draft CFP
  • Expected number of submissions
  • Expected acceptance rate
  • Whether it has been accepted for LNCS already
  • Information about past events: dates and reference to proceedings.

Applications will be considered by the Advisory Board for their suitability with respect to the aims and scope of the subline and the standing of the event in the community. The editors make the final decision based on the recommendations of the Advisory Board, and may seek advice from additional anonymous reviewers. Acceptance of a volume in the subline does not mean that future volumes related to the same event are accepted.