External Links

    Journal: SIGLOG News

    Volume 2, Issue 4

    3 -- 15Mikolaj Bojanczyk. Automata column
    17 -- 25Darren D. Cofer. You keep using that word

    Volume 2, Issue 3

    4 -- 17Thomas Place, Marc Zeitoun. The tale of the quantifier alternation hierarchy of first-order logic over words
    19 -- 44Jakob Nordström. On the interplay between proof complexity and SAT solving
    46 -- 69Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati. Location privacy via geo-indistinguishability
    72 -- 84Prakash Panangaden. Probabilistic bisimulation

    Volume 2, Issue 2

    3 -- 0Mikolaj Bojanczyk. Automata column
    4 -- 13Joël Ouaknine, James Worrell. On linear recurrence sequences and loop termination
    14 -- 15Michael W. Mislove. Semantics column
    16 -- 27Alexandra Silva 0001. A short introduction to the coalgebraic method
    28 -- 0Neha Rungta. Verification column
    29 -- 38Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas. Algorithmic logic-based verification

    Volume 2, Issue 1

    5 -- 6Mikolaj Bojanczyk. McNaughton's theorem
    8 -- 21Anuj Dawar. The nature and power of fixed-point logic with counting
    23 -- 24Catalin Hritcu. The Joint EasyCrypt-F*-CryptoVerif School 2014
    25 -- 34Véronique Cortier. Formal verification of e-voting: solutions and challenges
    37 -- 44Steve Awodey, Robert Harper. Homotopy type theory: unified foundations of mathematics and computation
    46 -- 51Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi. Theory in practice for system design and verification
    runs on