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… Continue reading »