Separation Logic Through a New Lens

In the sixth talk of the ACT@UCR seminar, Sarah Rovner-Frydman will tell us about a new approach to separation logic, a way to reason about programs.

Shell give her talk on Wednesday May 5th at 5 pm UTC, which is 10 am in California, or 1 pm on the east coast of the United States, or 6 pm in England. It will be held online via Zoom, here:

https://ucr.zoom.us/j/607160601

Afterwards well discuss her talk at the Category Theory Community Server. You can see those discussions here if you become a...