- David Purser. SIGLOG monthly 221. SIGLOG News, 9(1):25-34, 2022.
- Ranko Lazic 0001. Verification column. SIGLOG News, 9(1):5, 2022.
- C. Aiswarya. How treewidth helps in verification. SIGLOG News, 9(1):6-21, 2022.
- Jorge A. Pérez 0001. Conference reports. SIGLOG News, 9(1):22, 2022.
- Niccolò Veltri. Report on PPDP/LOPSTR 2021. SIGLOG News, 9(1):23-24, 2022.
- David Purser. SIGLOG monthly 209. SIGLOG News, 8(1):4-14, 2021.
- David Purser. SIGLOG monthly 215. SIGLOG News, 8(3):30-39, 2021.
- Ranko Lazic 0001. Verification column. SIGLOG News, 8(4):3, 2021.
- Daniele Gorla. The 2021 experience of logic in computer science. SIGLOG News, 8(4):23-24, 2021.
- Ranko Lazic. Verification column. SIGLOG News, 8(2):3, 2021.