ACM SIGLOG News, Volume 3

Volume 3, Number 1, January 2016

Automata

• 
  Mikolaj Bojanczyk:
  Automata column. 3
• 
  Sylvain Schmitz:
  The complexity of reachability in vector addition systems. 4-21

Complexity

• 
  Neil Immerman:
  Complexity column. 22
• 
  Michael Elberfeld:
  Variants of Courcelle's Theorem for complexity classes inside P. 23-32

Security & privacy

• 
  Matteo Maffei:
  Security & privacy column. 33
• 
  Gilles Barthe, Marco Gaboardi, Justin Hsu, Benjamin C. Pierce:
  Programming language techniques for differential privacy. 34-53

Semantics

• 
  Michael W. Mislove:
  Semantics column. 54-56
• 
  Andrew M. Pitts:
  Nominal techniques. 57-72

Conference reports

• 
  Jorge A. Pérez:
  Conference reports. 73
• 
  Jorge A. Pérez:
  Report on ICTAC 2015: 12th international colloquium on theoretical aspects of computing. 74-77

Volume 3, Number 2, April 2016

Automata

• 
  Neil Immerman:
  Complexity column. 29
• 
  Thomas Schwentick, Thomas Zeume:
  Dynamic complexity: recent updates. 30-52

Semantics

• 
  Michael W. Mislove:
  Semantics column. 53-55
• 
  Andrzej S. Murawski, Nikos Tzevelekos:
  An invitation to game semantics. 56-67

Verification

• 
  Neha Rungta:
  Verification column. 68
• 
  Franco Raimondi:
  Using multi-agent systems to go beyond temporal patterns verification. 69-77

Conference reports

• 
  Jorge A. Pérez:
  Conference reports. 78
• 
  Fritz Henglein:
  2016 POPL impressions. 79-81
• 
  Alexandra Silva:
  Report on the POPL mentoring workshop (PLMW 2016). 82-83

Volume 3, Number 3, July 2016

Technical columns

• 
  Mikolaj Bojanczyk:
  Automata column. 3
• 
  Emmanuel Filiot, Pierre-Alain Reynier:
  Transducers, logic and algebra for functions of finite words. 4-19
• 
  Neil Immerman:
  Complexity column. 20
• 
  Toniann Pitassi, Iddo Tzameret:
  Algebraic proof complexity: progress, frontiers and challenges. 21-43
• 
  Michael W. Mislove, Prakash Panangaden:
  Semantics column. 44-46
• 
  Stephen Brookes, Peter W. O'Hearn:
  Concurrent separation logic. 47-65
• 
  Neha Rungta:
  Verification column. 66
• 
  César A. Muñoz, Aaron Dutle, Anthony Narkawicz, Jason Upchurch:
  Unmanned aircraft systems in the national airspace system: a formal methods perspective. 67-76

Regular features

• 
  Jorge A. Pérez:
  Conference reports. 77
• 
  Hugo Torres Vieira:
  DisCoTec 2016 conference report. 78-79
• 
  Daniela Petrisan:
  SIGLOG monthly 184. 80-96

Volume 3, Number 4, October 2016

• 
  Mikolaj Bojanczyk:
  Automata column. 12
• 
  Igor Walukiewicz:
  Automata theory and higher-order model-checking. 13-31
• 
  Benjamin Rossman:
  An improved homomorphism preservation theorem from lower bounds in circuit complexity. 33-46
• 
  Jorge A. Pérez:
  Conference reports. 47
• 
  Paul Fodor:
  10th International Web Rule Symposium (RuleML 2016) report. 48-49
• 
  Sandra Alves:
  Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction. 50-54
• 
  Daniela Petrisan:
  SIGLOG Monthly 186. 55-72