Newsletter July 2016

By   1 July 2016

Dear SIGLOG Members,
The July issue of the SIGLOG Newsletter appeared.

In this issue
  • We have four technical columns!
    • Emmanuel Filiot and Pierre-Alain Reynier survey word functions and transducers in Mikołaj Bojánczyk’s Automata column.
    • In the Complexity column edited by Neil Immerman, Toniann Pitassi and Iddo Tzameret discuss the latest results connecting proof complexity with algebraic complexity.
    • This year’s Gödel Prize winners, Stephen Brookes and Peter O’Hearn, describe the origins of concurrent separation logic in our column on Semantics, edited by Mike Mislove and Prakash Panangaden.
    • Finally, Neha Rungta’s column on Verification features an article on safety challenges posed by unmanned aircraft systems by César A. Mũnoz, Aaron Dutle, Anthony Narkawicz, and Jason Upchurch.
  • In the Conference Reports section, edited by Jorge A. Pérez, Hugo Torres Vieira reports on DisCoTec 2016.
  • As usual, we wrap up with the latest issue of SIGLOG Monthly, prepared by Daniela Petrişan.