Formal Methods in the Field
The Formal Methods in the Field (FMitF) program supports collaborative research between formal methods experts and other computer and information science/engineering fields to develop reliable, provable systems. It offers three proposal tracks:
Research Proposals (Track I): Requires collaboration between formal methods and applicable field experts, with a focu…
The Formal Methods in the Field (FMitF) 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-constructi…
Funding Source
Awards & funding
Dates
Documents
Secure Grant Funding 10x Faster
Scout delivers AI-powered grant writing paired with experts that's faster, more affordable, and built to win.
Already have an account? Sign In
Trusted by 500+ Happy Customers