NSF Formal Methods in the Field (FMitF)
Full Proposal Deadlines: February 16, 2021; February 15, 2022; February 15, 2023
The Formal Methods in the Field program aims to bring together researchers in formal methods with researchers in other areas of computer and information science and engineering to jointly develop rigorous and reproducible methodologies for designing and implementing correct-by-construction systems and applications with provable guarantees. FMitF encourages close collaboration between two groups of researchers. The first group consists of researchers in the area of formal methods, which, for the purposes of this solicitation, is broadly defined as principled approaches based on mathematics and logic to system modeling, specification, design, analysis, verification, and synthesis. The second group consists of researchers in the “field,” which, for the purposes of this solicitation, is defined as a subset of areas within computer and information science and engineering that currently do not benefit from having established communities already developing and applying formal methods in their research. This solicitation limits the field to the following areas that stand to directly benefit from a grounding in formal methods: computer networks, distributed/operating systems, embedded systems, human centered computing, and machine learning. A proposal pursuing a different field area must make a strong case for why the field area of interest is one that does not currently benefit from formal methods but would be a strong candidate for inclusion as a field area.
The Cyber Human Systems field area has been renamed as Human Centered Computing