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.