News

[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.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s