The U.S. National Science Foundation is an independent federal agency that supports science and engineering in all 50 states and U.S. territories. NSF was established in 1950 by Congress to promote the progress of science, advance the national health, prosperity and welfare, and secure the national defense.
The Formal Methods in the Field (FMitF) program seeks collaborative projects between formal methods researchers and researchers from various areas within computer and information science and engineering that have not traditionally utilized formal methods. The goal is to develop rigorous, reproducible methodologies for creating systems and applications that are correct by construction, with a focus on integrating principled, mathematically-based approaches for system design, analysis, and verification. The program emphasizes the necessity of collaboration between formal methods experts and experts in other fields, aiming to expand the applicability and benefits of formal methods in new areas. There are two types of proposals sought: Track I focuses on foundational research and development with a requirement for proof of concept and a detailed collaboration plan, whereas Track II targets the transition of formal methods research into practical, operational tools and systems, encouraging industry collaboration.