Submit Abstract

Visible to the public 


We are looking forward to seeing you at the FM@Scale workshop(s). We are starting the process of setting the agenda, and that is why we are sending you this request. As we signaled in the invitation, we ask you now to send a short abstract.

The goal of the workshops is to improve understanding of how the formal methods community, in partnership with sponsors and users, might achieve broader use and at increasing levels of scale. In the history of formal methods we have experienced both steps forward and also crises of expectations. Some think we are at a new inflection point. And so we want to consider the landscape and formulate sound strategy. We feel that the perspective of this group is especially valuable.

We request now that you send us a short abstract, not more than a page or two, to help us construct an agenda that addresses this in an organized fashion. We want to receive the abstracts as soon as possible, certainly before August 30th. We will then get back to you a week or so later with specific requests regarding presentations.

Please include two elements in your abstract: (1) Highlights of your recent work relevant to workshop goals, and (2) Thoughts regarding what you could present in a short talk that more broadly relates to workshop goals. Here are words from the invitation latter:

We recognize that there are multiple dimensions of scale that we will need to address. These include, for example: (1) the range of properties and qualities that are modeled and reasoned about, such as relating to security, safety, performance, fault tolerance, real-time, etc., (2) complexity and the size of systems and their supply chains, including issues related to composability (3) efficiency of FM-related modeling, tooling, and engineering practices, including integration into mainstream tooling and practices, (4) ability to rapidly co-evolve systems and associated evidence, (5) ease of use for non-expert developers and evaluators.

We are also interested in addressing the different dimensions of experience that we can share. Discussion of these experiences can help ground our conversation, and help us understand cross-cutting considerations such as commonalities in technical foundations, and challenges relating to adoption into practice and tooling. Some kinds of experiences we can share include: (1) applications to specific major systems in government and industry, (2) tour-de-force results, such as proofs of significant mathematical results or reasoning about modern processors, (3) the advancement of formal methods ecosystems surrounding the various provers and stacks, (4) integration of more limited capabilities into broader communities of practice, such as has been happening in major tech firms.

Please reach out to any of us if you have questions. We are looking forward to an exciting workshop.

Brad, Patrick, and Bill