Welcome to FormaliSE!

FormaliSE 2018 is a conference co-located with ICSE 2018. It will be held on Saturday 2 June 2018. The Call for Papers and further details will be available soon.