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.
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, .....
The deadline for paper submissions for FormaliSE 2016 has been extended to 29 January 2016.
The 4th edition of the successful FormaliSE workshop series is now confirmed to take place on 15 May 2016 in Austin, Texas, as a co-located workshop with ICSE 2016.
The third FormaliSE workshop took place on 18 May, in Florence, Italy. FormaliSE 2015 was co-located with ICSE 2015. We, the organizers, can proudly say that the event was a success, also judging from the responses we got from the attendees.
After a careful paper selection process and we are happy to announce that we now have nine high quality papers and two keynotes for FormliSE 2015! Please have a look under "Programme" for the details.
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.
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.