External Links

    Journal: SIGLOG News

    Volume 5, Issue 4

    3 -- 0Neil Immerman. Complexity column
    4 -- 24Andrei A. Bulatov. Constraint satisfaction problems: complexity and algorithms
    25 -- 0Ranko Lazic. Verification column
    26 -- 46Christel Baier, Clemens Dubslaff. From verification to synthesis under cost-utility constraints
    47 -- 0Jorge A. Pérez. Conference reports
    48 -- 51Agata Ciabattoni, Björn Lellmann, Kees van Berkel. Deontic reasoning: from ancient texts to artificial intelligence.: workshop report
    52 -- 53Daniele Ahmed, Katherine Fletcher, Julian Gutierrez 0001. Federated logic conference (FLoC) at Oxford
    54 -- 69Daniela Petrisan. SIGLOG monthly 201

    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

    Volume 5, Issue 2

    3 -- 0Mikolaj Bojanczyk. Automata column
    4 -- 16Diego Figueira. Satisfiability of Xpath on data trees
    17 -- 19Michael Mislove. Semantics column
    20 -- 35Jane Hillston. Stochastic process algebras and their markovian semantics
    36 -- 0Ranko Lazic. Verification column
    37 -- 56Alin Deutsch, Richard Hull 0001, Yuliang Li, Victor Vianu. Automatic verification of database-centric systems
    57 -- 0Jorge A. Pérez. Conference reports
    58 -- 60Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake. semantics, proof theory, and applications. report on the second SYSMICS workshop
    61 -- 93Daniela Petrisan. SIGLOG monthly 199

    Volume 5, Issue 1

    13 -- 0Mikolaj Bojanczyk. Automata column
    14 -- 18Wolfgang Thomas. Ehrenfeucht, Vaught, and the decidability of the weak monadic theory of successor
    19 -- 0Neha Rungta. Verification column
    20 -- 0Jorge A. Pérez. Conference reports
    21 -- 22Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, João Marcos 0001. Brasilia Spring on Automated Reasoning
    23 -- 49Daniela Petrisan. SIGLOG monthly 198
    runs on