This Open for Business event is part of an INI programme on Big Specification. It aims to provide a meeting ground to facilitate interactions and exchanges between representatives of academia, research and industry, relevant to the theme, with the objective of identifying points of mutual interest and possible co-activity.

Aims & Objectives

The aim of this Open for Business event is to evaluate the role of formal methods in industrial design, review the current and potential future capabilities of our tools and techniques, and discuss strategies for advancing their standardisation. The objective is to identify ways to progressively integrate formal methods into industrial processes and to outline possible next steps, including how government support can facilitate this progression.

The planned activities for the event include:

• Talks by experts from academia, industry and government.
• An afternoon session on “Formal Methods for Secure and Measurable Software Systems”, supported by the Office of the White House.
• An afternoon session on “Formal Methods in Cyber Security”, supported by the National Cyber Security Center (NCSC).

This hybrid meeting will bring together an audience of invited experts and policymakers from across academia, industry, and government, all driven by a common goal to advance formal methods and strengthen cybersecurity. The event will be recorded, with an edited version made available on YouTube.

Registration and Venue

This is an invitation-only event. Registration for this event is open.

The workshop will take place at the Isaac Newton Institute for Mathematical Sciences in Cambridge, United Kingdom. Please visit the Isaac Newton Institute website for further information about the venue.

To maximise networking opportunities and interaction with speakers and other participants, we strongly encourage in-person attendance to this workshop. However, this event is also hosted as hybrid via Zoom.