Math.LO: Logic

Separation logic through a new lens

(Host local time)
Speaker: Sarah Rovner-Frydman (UCR) - Hosted by UC Riverside

Abstract:
Separation logic through a new lens (...)