We received many requests for a deadline extension. The new (and final!) deadline for paper submissions now is 27 January 2017.
We are happy to inform you that Nazareno Aguirre (CONICET and Universidad Nacional de Río Cuarto) will give a keynote presentation at FormaliSE 2017! Title and abstract will be announced later.
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.