The FormaliSE 2021 programme

The FormaliSE 2021 programme is ready and published! It includes two keynotes

  • “Program Verification: a 70-Year History” by Moshe Vardi (Rice University, Houston, Texas, USA)
  • “Towards Formalising Sustainable Security” by Liliana Pasquale (University College Dublin & Lero, Ireland)

and 13 paper presentations that you can discover here.

Register on the ICSE 2021 website. Looking forward to seeing you among the participants!