Newsletter July 2021

By   7 September 2021

Dear SIGLOG Members,

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

In this issue

  • The SIGLOG Chair Frank Pfenning reports on this year’s LICS and plans for next year.
  • We announce the winners of the 2021 Alonzo Church Award for Outstanding Contributions to Logic and Computation.
  • In the Verification column edited by Ranko Lazić, Stéphane Demri and Karin Quaas present a survey on logical reasoning about concrete domains.
  • 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 *