Welcome to FormaliSE!

We are happy to announce that FormaliSE 2018 will be held on Monday 2019 May 2019 in Montréal, Canada. The conference will be co-located to ICSE 2019. More details and a Call for Papers will be published soon.