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.