IEEE TCSE     SigSoft     ICSE 2021

Welcome to FormaliSE!

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