Newsletter April 2021

Dear SIGLOG Members,

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

In this issue

  • In the Chair’s letter, Frank Pfenning looks forward to this year’s LICS and next year’s FLoC.
  • Véronique Bruyère surveys game-theoretic techniques in computer-aided synthesis in the Verification column edited by Ranko Lazić.
  • We wrap up with the latest issue of SIGLOG Monthly, prepared by David Purser.

Enjoy!