The workshop will include about 40 distinguished researchers and leaders in the Formal Methods, broadly construed, and related fields, from academia, industry, and government agencies. Participation is by invitation only. Concretely, the workshop will be a combination of short talks, panels, and focussed discussion groups devoted to four areas:

  1. New Frontiers

  2. Infrastructure

  3. Education & Outreach

  4. Adoption and Technology Transfer


To keep the workshop interactive, the agenda consists mostly of open discussions and breakout sessions.

Day One

On the first day, we will have a few short opinion talks about the status of the field, have the area chairs make opening remarks to frame the discussion in each area, and then have breakout sessions to discuss each area.

This will be followed by a panel discussion with the area chairs, including presentations by the session chairs about a preliminary set of topics within each area. All participants will attend and contribute to this session and follow-up discussions.

We start with fixed breakout sessions for each focus area. Each participant will be assigned a focus area. The participants for each area will meet and discuss the various questions and issues that pertain to that area. The discussion will form the basis of the section in the white paper corresponding to that focus area.

The second breakout session will be fluid, in that after the first round of discussions, the sessions chairs and scribes will remain in the same focus areas, but other participants can move to another different group of their choosing. The chairs and scribes can summarize the previous discussion and incorporate new insights and ideas from the new participants. Finally, we will end the day with a keynote talk on obstacles and future directions in which the field should go.

Day Two

The second (half) day will be devoted to summarizing the discussions from the break out sessions, ending with possible recommendations from the chairs and panels about the important questions and future directions for the field.

All workshop attendees will convene to hear a presentation by each focus area chair summarizing the individual group discussion, and the compiled scribe notes. This will be followed by a global discussion on the issues raised within each area. The meeting will conclude with the workshop chairs summarizing the recommendations and conclusions from each of the areas.

Funded By NSF Awarded CCF-1242686.
National Science Foundation Workshop
Formal Methods: Future Directions & Its Transition To Practice
Home Agenda Schedule Local Information Participants Keynote Documents