Newsletter January 2019

Dear SIGLOG Members,

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

In this issue

  • Every three years SIGLOG elects new office holders: the slate of candidates for 2019 can be found after the Chair’s Letter.
  • In the Automata Column, the column’s editor Mikołaj Bojańczyk advocates the Hilbert method for analysing infinite-state systems.
  • Ranko Lazić’s Verification column is dedicated to the memory of Oded Maler (1957-2018): Martin Fränzle, Mingshuai Chen and Paul Kröger survey techniques used to attack the reachability problem for hybrid automata.
  • Jorge A. Pérez’s Conference Reports section features a report on the latest Women in Logic workshop (WiL 2018), which took place in July 2018 as part of FLoC.

Happy New Year!