Newsletter July 2018

By   10 July 2018

Dear SIGLOG Members,

This year’s July issue of the SIGLOG Newsletter appeared.

In this issue

  • Howard Straubing presents a revisionist history of connections between first-order logic and aperiodic languages in Mikołaj Bojańczyk’s column on Automata.
  • Neil Immerman’s column on Complexity is dedicated to two-variable logics: Emanuel Kieroński, Ian Pratt-Hartmann and Lidia Tendera discuss fragments and extensions motivated by applications.
  • In Matteo Maffei’s column on Security and Privacy, Stéphanie Delaune writes on research challenges in the analysis of security protocols relying on properties of the physical world.
  • Thierry Coquand surveys constructive presheaf models of univalence in Michael Mislove’s column on Semantics.
  • The Verification column, edited by Ranko Lazić, features a primer on Presburger arithmetic by Christoph Haase.
  • In Jorge A. Pérez’s Conference Reports section, Claudio Antares Mezzina reports on the 13th International Federated Conference on Distributed Computing Techniques (DisCoTec 2018).
  • As usual, we wrap up with the latest issue of SIGLOG Monthly, prepared by Daniela Petrişan.