Welcome to FormaliSE!

FormaliSE 2020 will be held on 25 and 26 May 2020 in Seoul, Korea. The conference will be co-located with ICSE 2020.

Announcement of the programme committee wil follow soon.

Call for Papers will appear soon.