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.