External Links

    Journal: SIGLOG News

    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
    runs on