FormaliSE 2021:
9th International Conference on Formal Methods in Software Engineering

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!