Journal: SIGLOG News

Volume 9, Issue 3

5 -- 0Mahesh Viswanathan 0001. Automata column
6 -- 28B. Srivathsan. Reachability in timed automata
29 -- 0Andrei Bulatov. Complexity column
30 -- 59Andrei A. Krokhin, Jakub Oprsal. An invitation to the promise constraint satisfaction problem
60 -- 0Jorge A. PĂ©rez 0001. Conference reports
61 -- 62Helle Hvid Hansen, Fabio Zanasi. Report on coalgebraic methods in computer science 2022
63 -- 0David Purser. SIGLOG monthly 227