With Laura Semini, we are co-chairing the Program Committee of FormaliSE 2021, which will be co-located with ICSE 2021 to take place on May 17–21, 2021 on-line.
Both submissions deadlines have been extended by one week:
- Abstract submission deadline: 12/01/2021
- Paper submission deadline: 19/01/2021
Please submit your best work through here!