External Links

    Journal: SIGLOG News

    Volume 9, Issue 4

    1 -- 0Andrzej S. Murawski. From the Editor
    2 -- 3Dexter Kozen. 2022 Alonzo Church Award Announcement
    4 -- 0Mahesh Viswanathan 0001. Automata Column
    5 -- 25Andreas Pavlogiannis. CFL/Dyck Reachability: An Algorithmic Perspective
    26 -- 0Ranko Lazic 0001. Verification Column
    27 -- 43Mahsa Shirmohammadi. A Beginner's Tutorial on Strategy Complexity in Stochastic Games: Can the King Cautiously Eliminate Robin Hood?
    44 -- 49David Purser. SIGLOG Monthly 230

    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

    Volume 9, Issue 2

    3 -- 6Michael W. Mislove. Semantics column
    7 -- 29Paul Blain Levy. Call-by-push-value
    30 -- 0Jorge A. Pérez 0001. Conference reports
    31 -- 33Sandra Alves, Sandra Kiefer, Ana Sokolova. Report on women in logic 2020 & 2021
    34 -- 50David Purser. SIGLOG monthly 224

    Volume 9, Issue 1

    5 -- 0Ranko Lazic 0001. Verification column
    6 -- 21C. Aiswarya. How treewidth helps in verification
    22 -- 0Jorge A. Pérez 0001. Conference reports
    23 -- 24Niccolò Veltri. Report on PPDP/LOPSTR 2021
    25 -- 34David Purser. SIGLOG monthly 221
    runs on