The workshop is a one-day event. We will open with a talk from the invited speaker, Mark Priestley. Most of the day will be taken up with presentations of submitted papers. There will be a longer audience-participation discussion session to close.

We will have nine talks from accepted submissions, each lasting 30 minutes. There will be a program organised in conjuction with the parent conference and this will be published as soon as available. For now, a list of accepted submissions can be found on the Program page.

The audience discussion session will be in place of a 'round table' or 'panel' style session, in recognition that conversation from the whole room is often very valuable. There will be no fixed agenda for discussion, as talks throughout the day may suggest certain topics.

We intend to record the audio of the discussion session and provide a full transcription in the proceedings, in anticipation of an interesting and nuanced conversation of interest to the wider formal methods and history audience.