Dear SIGLOG Members,
This year’s July issue of the SIGLOG Newsletter appeared.
In this issue
- The SIGLOG Chair reports on the 2023 edition of LICS.
- In the verification column, Christel Baier presents a very interesting paper by Suguman Bansal on Automata-Based Quantitative Reasoning.
- To conclude, we wrap up this number with the latest issue of SIGLOG Monthly, prepared by David Purser.
Enjoy!
Daniele Gorla
Sapienza University of Rome
SIGLOG News Editor-in-Chief