ACM SIGLOG News, Volume 2

Volume 2, Number 1, January 2015

Automata Complexity Security and privacy Semantics Survey

Volume 2, Number 2, April 2015

Volume 2, Number 3, July 2015

Automata column Complexity column Security & privacy column Semantics column

Volume 2, Number 4, October 2015

Automata Verification
maintained by Schloss Dagstuhl LZI at University of Trier