Newsletter October 2021

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.

Enjoy!

Leave a Reply

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