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!