Email Print Share

Formal Methods in the Field (FMitF) Program Webinar

Wednesday March 14th - 4pm

March 14, 2018 4:00 PM  to 
March 14, 2018 5:00 PM

Save the Date

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, which, for the purposes of this solicitation, is broadly defined as principled approaches based on mathematics and logic, including modeling, specification, design, program analysis, verification, synthesis, and programming language-based approaches. The second group consists of researchers in the “field,” which, for the purposes of this solicitation, is defined as a subset of areas within computer and information science and engineering that currently do not benefit from having established communities already developing and applying formal methods in their research. Initially the program will limit the field to these four areas that stand to directly benefit from a grounding in formal methods: computer networks, cyber-human systems, machine learning, and operating/distributed systems. However other field(s) may emerge as priority areas for the program in future years, subject to the availability of funds.

Each proposal must have at least one Principal Investigator (PI) or co-PI with expertise in formal methods and at least one with expertise in one or more of these fields: computer networks, cyber-human systems, machine learning, and operating/distributed systems. Proposals are expected to address the fundamental contributions to both formal methods and the respective field(s), and should include a proof of concept in the field along with a detailed evaluation plan that discusses intended scope of applicability, trade-offs and limitations. All proposals are expected to contain a detailed collaboration plan that clearly highlights and justifies the complementary expertise of the PIs in the designated areas, and describes the mechanisms for continuous bi-directional interaction.

This webinar will cover the solicitation and submission requirements.  There will be a question and answer session following the discussion.

To Join the webinar, please register at:

 by 11:59pm EDT on Tuesday March 13, 2018.

After your registration is accepted, you will receive an email with a URL to join the meeting. Please be sure to join a few minutes before the start of the webinar. This system does not establish a voice connection on your computer; instead, your acceptance message will have a toll-free phone number that you will be prompted to call after joining. Please note that this registration is a manual process; therefore, do not expect an immediate acceptance. In the event the number of requests exceeds the capacity, some requests may have to be denied.

The webinar presentation, audio file and transcript will be available below under "Public Attachments" after the webinar has concluded.


This event is part of Webinars/Webcasts.

Meeting Type

Nina Amla, (703) 292-7991, email:

NSF Related Organizations
Directorate for Computer and Information Science and Engineering

Public Attachments
Audio File