Formal Methods Letter (FML)

Formal Methods Letters (FML) addresses the need of the formal methods community for a publication outlet with a rapid turn-around time for short papers that focus on a new and easily describable idea. FML papers are electronically available via Springer's Online First facility as soon as they are ready for publication, and freely accessible to all. Printed versions are available as part of STTT, which appears every two months.

This way FML establishes a channel for fast publication of new and original ideas. It provides a venue for quickly disseminating theoretical and experimental results, and also a means of publishing new approaches that are sound and of interest to the community, but may not yet be fully supported by implementation and experiment. In addition, FML offers a chance to publish new work as fast as possible.

Unlike other venues for short papers, FML focuses on formal methods contributions, and therefore on a specific community. This way we intend to serve an active readership that frequently checks the website for newly accepted papers, and discusses via the Online Forum.

Topics of Interest for FML include but are not limited to:

• Deductive Verification
• Model Checking
• Run-Time and Compiler Verification
• Decision Procedures
• Static Analysis Techniques
• Abstract Interpretation
• Theorem Proving
• Compositional and Refinement-Based Methodologies
• Infinite-State Methods

In addition to research articles, FML welcomes short case studies and reports on practical or industrial application, as well as short resumes of new projects and tools that could be of interest to the community.

Even though reviewing of FML contributions is in essence similar to regular paper reviewing, the shorter FML contributions run on a fast track, with an average turn-around time of about one month.