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!