Newsletter April 2019

By   14 April 2019

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ć.