Call for papers is now open! See instructions on the Submissions page and submit via EasyChair.

This is a workshop on the history of formal methods in computing.

The aim is to bring together historians of computing and science with technical workers in the field of formal methods to reflect on the discipline’s history. For more information, see Scope.

There will be a round of abstract submission prior to the workshop which will determine who is invited to give a presentation at the workshop. Afterwards, presenters may submit papers based on their presentations for inclusion in the workshop’s proceedings. For more information, see Submissions.

The workshop's chairs are Troy Astarte and Brian Randell. The program committee is listed on a separate page. Our invited speaker is Mark Priestley.

As well as presenting some new and exciting historical research we wish to encourage debate and reflection amongst all attendees. This is why more time than usual will be allotted to discussion after talks. There will also be an extended discussion session to close the workshop which will be recorded and transcribed. See Format for more details.

This transcript will appear in the proceedings, which will be published alongside papers resulting from talks given at the workshop. A publisher for proceedings is yet to be finalised.