Newsletter October 2020

Dear SIGLOG Members,

This year’s October issue of the SIGLOG Newsletter appeared.

In this issue

  • Frank Pfenning, the SIGLOG chair, reports on a recent online meeting of the ACM SIG Governing Board.
  • In Ranko Lazic’s Verification column, Mohamed Faouzi Atig gives an overview of complexity results regarding concurrent programs running under the TSO memory model.
  • As usual, we wrap up with the latest issue of the SIGLOG bulletin.

Enjoy and stay safe!

Leave a Reply

Your email address will not be published. Required fields are marked *