Funding Agency:
NSF
Full Proposal Deadline Date: February 16, 2021
Program Guidelines: NSF 20-613
Program Guidelines: NSF 20-613
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-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, ...
More at https://www.nsf.gov/funding/pgm_summ.jsp?pims_id=505518&WT.mc_id=USNSF_39&WT.mc_ev=click
This is an NSF Upcoming Due Dates item.
Pub Date:
Tuesday, February 16, 2021 - 9:36pm