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 […]

Deadline for NASA’s MAIANSE CONNECT Proposals

This National Aeronautics and Space Administration (NASA) Notice of Funding Opportunity (NOFO) entitled Engagement Opportunities in NASA STEM (EONS) – 2022, solicits proposals for competitive funding opportunities in support of the Minority University Research and […]