External Links

    Journal: SIGLOG News

    Volume 5, Issue 3

    3 -- 0Mikolaj Bojanczyk. Automata column
    4 -- 20Howard Straubing. First-order logic and aperiodic languages: a revisionist history
    21 -- 0Neil Immerman. Complexity column
    22 -- 43Emanuel Kieronski, Ian Pratt-Hartmann, Lidia Tendera. Two-variable logics with counting and semantic constraints
    44 -- 0Matteo Maffei. Security & privacy column
    45 -- 51Stéphanie Delaune. POPSTAR: so near and yet so far
    52 -- 53Michael Mislove. Semantics column
    54 -- 65Thierry Coquand. A survey of constructive presheaf models of univalence
    66 -- 0Ranko Lazic. Verification column
    67 -- 82Christoph Haase. A survival guide to presburger arithmetic
    83 -- 0Jorge A. Pérez. Conference reports
    84 -- 85Claudio Antares Mezzina. Discotec 2018 conference report
    86 -- 102Daniela Petrisan. SIGLOG monthly 200
    runs on