FormaliSE 2017 is go!

We are happy to inform you all that there will be a new edition of FormaliSE in 2017! The 5th edition will be held on 27 May in Buenos Aires, Argentina.... Watch this page for upcoming important information deadlines, call for papers, etc.

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.