Keynote speaker

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.

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.