Newsletter July 2023

By   4 August 2023

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.


Daniele Gorla
Sapienza University of Rome
SIGLOG News Editor-in-Chief

Leave a Reply

Your email address will not be published. Required fields are marked *