Skip to content
Snippets Groups Projects
Commit ecc7f616 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Add new file

parent 764ca9c6
No related branches found
No related tags found
No related merge requests found
Pipeline #303037 passed with warnings
---
title: Philippa Gardner, Keynote at Advances in Separation Logics (ASL 2022)
---
Philippa was one of the two keynote speakers at this year’s Advances in [Separation Logics (ASL 2022) workshop](https://asl-workshop.github.io/asl22/), which was held online.
Philippa’s talk was on her latest work on [Exact Separation Logic (ESL)](https://vtss.doc.ic.ac.uk/publications/Maksimovic2022Exact.html) for reasoning about heap-manipulating sequential programs, a logic which provides fully verified function specifications compatible with true bug finding.
ASL 2022 aims to bring together researchers and practitioners interested on improving the state of the art of automated deduction methods for Separation Logic and is affiliated to [IJCAR 2022](https://ijcar.org/), part of [FLOC 2022, the 8th Federated Logic Conference.](https://www.floc2022.org/)
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment