FM (conference)
Generated by GPT-5-miniExpansion Funnel Raw 92 → Dedup 0 → NER 0 → Enqueued 0
| FM (conference) | |
|---|---|
| Name | FM (conference) |
| Discipline | Formal methods, computer science, software engineering |
| Abbreviation | FM |
| Publisher | Springer, ACM, IEEE |
| Frequency | Annual |
| First | 1991 |
| Country | International |
FM (conference) is an annual international conference on formal methods in computer science and software engineering, bringing together researchers, practitioners, and educators from academia, industry, and government. It serves as a forum for presentation of advances in formal specification, verification, model checking, theorem proving, and related tool development, influencing standards, curricula, and industrial practice. The conference has been associated with multiple organizations, proceedings publishers, and regional workshops that link theory with application across domains.
History
FM originated from a series of workshops and meetings that connected communities represented by Edinburgh Festival Fringe-style gatherings in theoretical computer science and applied verification symposia such as CAV and TACAS, evolving into a federated conference series in the early 1990s. Early milestones involved collaborations among groups active in projects like INRIA, Microsoft Research, and IBM Research, with leading contributors from universities such as University of Oxford, University of Cambridge, and MIT. Over time the event absorbed influences from complementary venues including POPL, ICSE, FLoC, and ETAPS, broadening its remit and shaping program committees drawn from institutions like Stanford University, Carnegie Mellon University, and ETH Zurich.
Scope and Topics
The conference covers a wide range of topics spanning formal specification languages, automated and interactive theorem proving, model checking, static analysis, runtime verification, and formal synthesis, connecting methods developed in groups at CNRS, Los Alamos National Laboratory, NASA Ames Research Center, and Bell Labs. Specific themes have included work on formalisms like Z, Alloy, B-Method, and temporal logics linked to toolchains from SPIN, NuSMV, Isabelle, Coq, and ACL2. Sessions often address application domains exemplified by case studies from Airbus, Boeing, Siemens, Toyota, and Intel as well as standards-related work associated with bodies like IEEE Standards Association and ISO committees.
Organization and Sponsorship
FM is typically organized by a steering committee drawn from universities and laboratories such as Imperial College London, University of Edinburgh, Tsinghua University, and University of Tokyo, with technical program committees including members from Google, Amazon Web Services, Oracle, and Facebook. Sponsorship and support have come from entities such as ACM SIGSOFT, IEEE Computer Society, Springer, and national research councils including EPSRC, NSF, and DFG. Local organizing committees often include partners from regional institutions such as ETH Zurich for European editions or University of California, Berkeley for North American editions.
Conferences and Locations
FM has been held in diverse venues reflecting its international scope, with past locations including cities like London, Edinburgh, Paris, Munich, Tokyo, Beijing, Palo Alto, New York City, Singapore, and Sydney. Special thematic editions have been co-located with large events such as ETAPS, FLoC, and domain meetings like ICFP and SOSP. The rotating locations have fostered collaborations with regional centers of excellence such as TCS Research Foundation, RIKEN, and CSIRO.
Proceedings and Publications
Accepted papers are published in proceedings volumes, frequently appearing in the Springer Lecture Notes in Computer Science series or in special issues of journals like Journal of Automated Reasoning and Formal Methods in System Design. Tool demonstrations, tutorials, and invited talks have been archived in collections associated with publishers including ACM and IEEE Xplore. Influential papers from FM have been cited alongside landmark results from venues such as LICS and CAV, and have been incorporated into repositories curated by organizations like GitHub and Zenodo.
Awards and Recognition
The FM community recognizes outstanding contributions through awards modeled after honors in related fields, echoing prestigious prizes associated with institutions like ACM Turing Award-level winners who have influenced formal methods, as well as prizes linked to IEEE Fellowship and best paper awards administered by the conference. Recipients have included researchers affiliated with Princeton University, Harvard University, University of California, San Diego, and national laboratories such as Lawrence Livermore National Laboratory for work advancing verification, proof assistants, and domain-specific applications.
Community and Impact
FM has significantly shaped education and practice in formal methods, influencing curricula at universities such as Carnegie Mellon University, Technical University of Denmark, and University of Waterloo, and fostering tool adoption in industry projects at Nokia, Ericsson, ABB, and Schneider Electric. The conference has catalyzed collaborations between projects like OpenJDK, LLVM, and AUTOSAR and policy or safety efforts in sectors covered by agencies such as European Space Agency, FAA, and National Institute of Standards and Technology. Through workshops, summer schools, and doctoral symposia, FM continues to nurture new generations of researchers and engineers connected to institutes including SRI International, Max Planck Institute for Software Systems, and Karlsruhe Institute of Technology.