National Science Foundation RII Track-1 Project:Expanding Research, Education and Innovation in South Dakota
Deadline: Formal Methods in the Field (NSF)
Proposals for Formal Methods in the Field (FMitF) are due Feb. 15, 2022, at 5 p.m. submitter's local time. Synopsis The Formal Methods in the Field (FMitF) program aims to bring together researchers in formal […]