Newsletter January 2022

Dear SIGLOG Members,

This year’s January issue of the SIGLOG Newsletter appeared.

In this issue

  • Frank Pfenning congratulates two SIGLOG members on becoming ACM Fellows.
  • Nominations for the 2022 Alonzo Church Award are solicited until April 2.
  • We present the current slate of candidates in the forthcoming SIGLOG elections. Additional candidates may still be placed on the ballot by petition.
  • C. Aiswarya discusses how treewidth can help in the verification of infinite-state systems in Ranko Lazić’s column on Verification.
  • In Jorge A. Pérez’s section with Conference Reports, Niccolò Veltri reports on the organisation of PPDP/LOPSTR 2021.
  • 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.