Aug 31, 2022
Thank you and goodbye to Kashish Raimalani, from the University of Manchester, who has spent two months working with the group.
Aug 4, 2022
Aug 1, 2022
Philippa was one of the two keynote speakers at this year’s Advances in Separation Logics (ASL 2022) workshop, which was held online.
Jul 26, 2022
John Wickerson, Azalea Raad, Philippa Gardner and Andreas Lööw are the organisers of this year’s UK Concurrency Workshop. which will be held on 11-12 August 2022 at the Isaac Newton Institute (INI) in Cambridge.
Jun 30, 2022
Philippa Gardner is one of the organisers, together with Azadeh Farzan, Natarajan Shankar and Moshe Vardi, of the Vistas in Verified Software workshop which will take place at the Isaac Newton Institute (INI) on 4-8 July 2022.
ACM Transactions on Programming Languages and Systems (TOPLAS), submitted Jan 2020; accepted 2021., vol. 43(4)
Proceedings of the 33rd Computer Aided Verification International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Part II, pp. 827–850
Proceedings of the 24th international symposium of Formal Methods (FM21), Beijing, China; November 20-25, 2021, pp. 61–79
Proceedings of the 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), pp. 31:1–31:23