Dear SIGLOG Members,
This year’s October issue of the SIGLOG Newsletter appeared.
In this issue
- SIGLOG’s Chair Frank Pfenning announces the Chair of the Nominating Committee for the next SIGLOG elections in 2022.
- In Ranko Lazić’s column on Verification, Antonı́n Kučera introduces us to the asymptotic analysis of VASS (Petri net) computations.
- Daniele Gorla reports on LICS 2021 in Jorge A. Pérez’s section with Conference Reports.
- As usual, we wrap up with the latest issue of SIGLOG Monthly, prepared by David Purser.