- Daniela Petrisan:
SIGLOG monthly 199. ACM SIGLOG News 5(2): 61-93 (2018) - Daniela Petrisan:
SIGLOG monthly 200. ACM SIGLOG News 5(3): 86-102 (2018) - Daniela Petrisan:
SIGLOG monthly 201. ACM SIGLOG News 5(4): 54-69 (2018) - Neha Rungta:
Verification column. ACM SIGLOG News 5(1): 19 (2018) - Howard Straubing:
First-order logic and aperiodic languages: a revisionist history. ACM SIGLOG News 5(3): 4-20 (2018) - Wolfgang Thomas:
Ehrenfeucht, Vaught, and the decidability of the weak monadic theory of successor. ACM SIGLOG News 5(1): 14-18 (2018)