Looking back on FormaliSE 2016

The 4th FormaliSE workshop took place on 15 May, in Austin, Texas. FormaliSE 2016 was co-located with ICSE 2016. The event was a success, judging from the responses we got from the attendees, and the high quality of the papers that were presented. A brief report, including photos taken at the event, and slides of the presentations given, .....

Deadline extension

The submission deadline for FormaliSE 2015 has been extended to 30 january 2015. However, it is still required to submit (at least) an abstract by 23 January 2015 (the original deadline). This will enable the organisation to start the paper bidding process for PC members.

Update: September 2014

A couple of months ago the 2nd FormaliSE workshop took place in Hyderabad, India. We look back at a very successful event! An inspiring keynote by Aditya Nori, high quality paper presentations and lively discussions made for a very good day. A more detailed account of the workshop, pictures, and the slides of the presentations given during the workshop are available on-line.