Welcome to FormaliSE!

We are happy to announce that FormaliSE 2019 will be held on Monday 27 May 2019 in Montréal, Canada. The conference will be co-located with ICSE 2019. The Call for Papers is now available.

Please note that we extended the submission deadlnes by one week: abstract submission is now 18 January, full papers due on 25 January 2019.