ACM SIGLOG News, Volume 3
Volume 3, Number 1, January 2016
Automata
Sylvain Schmitz:
The complexity of reachability in vector addition systems. 4-21
Complexity
Michael Elberfeld:
Variants of Courcelle's Theorem for complexity classes inside P. 23-32
Security & privacy
Semantics
Conference reports
Jorge A. Pérez:
Report on ICTAC 2015: 12th international colloquium on theoretical aspects of computing. 74-77
Volume 3, Number 2, April 2016
Automata
Semantics
Verification
Franco Raimondi:
Using multi-agent systems to go beyond temporal patterns verification. 69-77
Conference reports
Volume 3, Number 3, July 2016
Technical columns
Regular features
Volume 3, Number 4, October 2016
Benjamin Rossman:
An improved homomorphism preservation theorem from lower bounds in circuit complexity. 33-46 Paul Fodor:
10th International Web Rule Symposium (RuleML 2016) report. 48-49 Sandra Alves:
Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction. 50-54
maintained by

, founded at
