HFM2019

History of Formal Methods Workshop

proceedings publication

Following the workshop, authors may submit papers relating to the talks given. These will be published as proceedings of the workshop, following review by our program committee. Discussions are ongoing with a possible publisher at present.

The deadline for submission of papers to the proceedings will be 31st December 2019.