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. She’ll 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, […]