IEEE TCSE     SigSoft     ICSE 2021

Welcome to FormaliSE!

FormaliSE 2021 will be held co-located with ICSE 2021 from 17 until 21 on 23 and 24 May 2021, Madrid, Spain online. The call for papers is now available, it can be found here.

Update 3 November 2020: as ICSE 2021 has decided to go virtual (see https://conf.researchr.org/home/icse-2021 for details), FormaliSE 2021 will be a virtual event as well.