- 2018
- Daniele Ahmed, Katherine Fletcher, Julian Gutierrez:
Federated logic conference (FLoC) at Oxford. ACM SIGLOG News 5(4): 52-53 (2018) - Christel Baier
, Clemens Dubslaff:
From verification to synthesis under cost-utility constraints. ACM SIGLOG News 5(4): 26-46 (2018) - Mikolaj Bojanczyk:
Automata column. ACM SIGLOG News 5(1): 13 (2018) - Mikolaj Bojanczyk:
Automata column. ACM SIGLOG News 5(2): 3 (2018) - Mikolaj Bojanczyk:
Automata column. ACM SIGLOG News 5(3): 3 (2018) - Andrei A. Bulatov:
Constraint satisfaction problems: complexity and algorithms. ACM SIGLOG News 5(4): 4-24 (2018) - Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake:
Substructural logics: semantics, proof theory, and applications. report on the second SYSMICS workshop. ACM SIGLOG News 5(2): 58-60 (2018) - Agata Ciabattoni, Björn Lellmann, Kees van Berkel:
Deontic reasoning: from ancient texts to artificial intelligence.: workshop report. ACM SIGLOG News 5(4): 48-51 (2018) - Thierry Coquand:
A survey of constructive presheaf models of univalence. ACM SIGLOG News 5(3): 54-65 (2018) - Stéphanie Delaune:
POPSTAR: so near and yet so far. ACM SIGLOG News 5(3): 45-51 (2018) - Alin Deutsch, Richard Hull, Yuliang Li, Victor Vianu:
Automatic verification of database-centric systems. ACM SIGLOG News 5(2): 37-56 (2018) - Diego Figueira:
Satisfiability of Xpath on data trees. ACM SIGLOG News 5(2): 4-16 (2018) - Christoph Haase:
A survival guide to presburger arithmetic. ACM SIGLOG News 5(3): 67-82 (2018) - Jane Hillston:
Stochastic process algebras and their markovian semantics. ACM SIGLOG News 5(2): 20-35 (2018) - Neil Immerman:
Complexity column. ACM SIGLOG News 5(3): 21 (2018) - Neil Immerman:
Complexity column. ACM SIGLOG News 5(4): 3 (2018) - Emanuel Kieronski, Ian Pratt-Hartmann, Lidia Tendera:
Two-variable logics with counting and semantic constraints. ACM SIGLOG News 5(3): 22-43 (2018) - Ranko Lazic:
Verification column. ACM SIGLOG News 5(2): 36 (2018) - Ranko Lazic:
Verification column. ACM SIGLOG News 5(3): 66 (2018) - Ranko Lazic:
Verification column. ACM SIGLOG News 5(4): 25 (2018) - Matteo Maffei:
Security & privacy column. ACM SIGLOG News 5(3): 44 (2018) - Claudio Antares Mezzina:
Discotec 2018 conference report. ACM SIGLOG News 5(3): 84-85 (2018) - Michael W. Mislove:
Semantics column. ACM SIGLOG News 5(2): 17-19 (2018) - Michael W. Mislove:
Semantics column. ACM SIGLOG News 5(3): 52-53 (2018) - Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, João Marcos:
Brasilia Spring on Automated Reasoning. ACM SIGLOG News 5(1): 21-22 (2018) - Jorge A. Pérez:
Conference reports. ACM SIGLOG News 5(1): 20 (2018) - Jorge A. Pérez:
Conference reports. ACM SIGLOG News 5(2): 57 (2018) - Jorge A. Pérez:
Conference reports. ACM SIGLOG News 5(3): 83 (2018) - Jorge A. Pérez:
Conference reports. ACM SIGLOG News 5(4): 47 (2018) - Daniela Petrisan:
SIGLOG monthly 198. ACM SIGLOG News 5(1): 23-49 (2018)
