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