External Links

    Journal: SIGLOG News

    Volume 7, Issue 4

    3 -- 0Ranko Lazic. Verification column
    4 -- 19Mohamed Faouzi Atig. What is decidable under the TSO memory model?
    20 -- 26Daniela Petrisan. SIGLOG monthly 207

    Volume 7, Issue 3

    4 -- 0Neil Immerman. Complexity column
    5 -- 27Sandra Kiefer. The Weisfeiler-Leman algorithm: an exploration of its power
    28 -- 0Ranko Lazic. Verification column
    29 -- 43Michael Blondin. The ABCs of petri net reachability relaxations
    44 -- 0Jorge A. Pérez 0001. Conference reports
    45 -- 46Jamie Vicary. Online worldwide seminar on logic and semantics https: //www.cs.bham.ac.uk/~vicaryjo/owls
    47 -- 54Daniela Petrisan. SIGLOG monthly 206

    Volume 7, Issue 2

    3 -- 0Ranko Lazic. Verification column
    4 -- 14Laure Daviaud. Register complexity and determinisation of max-plus automata
    15 -- 0Jorge A. Pérez. Conference reports
    16 -- 18Diego Calvanese, Paul Fodor, Marco Montali. Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019)
    19 -- 39Daniela Petrisan. SIGLOG monthly 205

    Volume 7, Issue 1

    3 -- 0Neil Immerman. Complexity column
    4 -- 33Christoph Berkholz, Fabian Gerhardt, Nicole Schweikardt. Constant delay enumeration for conjunctive queries: a tutorial
    34 -- 0Ranko Lazic. Verification column
    35 -- 45Nathalie Bertrand 0001. Model checking randomized distributed algorithms
    46 -- 0Jorge A. Pérez. Conference reports
    47 -- 50Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Carlos Olarte, Frank D. Valencia. Catuscia Palamidessi: a journey from logic and concurrency to security and privacy
    51 -- 0Andrzej S. Murawski. The 2020 Alonzo Church award for outstanding contributions to logic and computation: call for nominations
    52 -- 73Daniela Petrisan. Siglog monthly 204
    runs on