Welcome to FormaliSE!

Due to the Corona virus outbreak, FormaliSE has been postponed until October 2020 (exact dates to be announced) in Seoul, Korea. The conference will be co-located with ICSE 2020.