ACM SIGLOG News, Volume 3

Volume 3, Number 1, January 2016

Automata Complexity Security & privacy Semantics Conference reports

Volume 3, Number 2, April 2016

Automata Semantics Verification Conference reports

Volume 3, Number 3, July 2016

Technical columns Regular features

Volume 3, Number 4, October 2016

a service of Schloss Dagstuhl - Leibniz Center for Informatics