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.