15 Feb 2023 | Formal Methods in the Field (FMitF)
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. There are two tracks: traditional NSF research proposals and transition to practice proposals.