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!