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…