[21.07.2015] List of accepted papers is published on the HOFM 2015 webpage.
[25.06.2015] Thank you very much for the submissions to our workshop! We have sent all the notification to the authors and hope to see you soon in York!
[17.06.2015] The online registration to the HOFM @ SEFM 2015 is available at the SEFM 2015 webpage. The early registration deadline is July 15.
The early registration rate for a one-day workshop is 90GBP (60GBP for students), and includes refreshments and lunch.
More information here or at the SEFM 2015 webpage.
[16.06.2015] Thank you very much for the submissions to our workshop! The submission is now closed and we are starting the review process.
[8.06.2015] Due to authors’ requests, we have extended the deadline for paper submission until June 15, 2015 (AoE).
[11.03.2015] The HOFM workshop has been scheduled on Monday, September 7.
[16.02.2015] The workshop has been accepted as a satellite event of the 13th International Conference on Software Engineering and Formal Methods (September 7-11, 2014, York, UK).
[21.01.2015] Draft version of the web page is created.