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 is designed to foster collaboration between formal methods researchers and experts in other computer and information science fields. Its goal is to create correct-by-construction systems and applications with provable guarantees. The program supports three types of proposals:
Research Proposals (Track I): These involve collaboration between formal methods experts and practitioners in other relevant areas, focusing on fundamental contributions and including a proof of concept and detailed evaluation plan. They have a budget up to $1,000,000 for up to four years.
Transition to Practice Proposals (Track II): The aim here is to develop, implement, and deploy robust formal methods research prototypes and tools to a broad user base, bridging the gap between research and practical application with budgets up to $150,000 for up to two years.
Education Proposals (Track III): These focus on developing and disseminating educational materials to make formal methods more accessible. The intention is to impact new communities through the creation of standalone courses or integration within existing courses, supported by budgets up to $250,000 for up to 36 months.