Dear SIGLOG Members,
This year’s July issue of the SIGLOG Newsletter appeared.
In this issue
- The SIGLOG Chair Frank Pfenning reports on this year’s LICS and plans for next year.
- We announce the winners of the 2021 Alonzo Church Award for Outstanding Contributions to Logic and Computation.
- In the Verification column edited by Ranko Lazić, Stéphane Demri and Karin Quaas present a survey on logical reasoning about concrete domains.
- We wrap up with the latest issue of SIGLOG Monthly, prepared by David Purser.
Enjoy!