Dear SIGLOG Members,
This year’s April issue of the SIGLOG Newsletter appeared.
In this issue
The April issue features two technical columns.
- David Pym surveys the Logic of Bunched Implications in Michael Mislove’s column on Semantics.
- Ori Lahav writes about verification under causally consistent shared memory in the Verification column edited by Ranko Lazić.