The 2022 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Dexter Kozen for for his fundamental work on developing the theory and applications of Kleene Algebra with Tests, an equational system for reasoning about iterative programs.
Newsletter July 2022
Dear SIGLOG Members, This year’s July issue of the SIGLOG Newsletter appeared. In this issue We announce the results of the 2022 ACM SIGLOG Election, and present Chair’s letters from both the outgoing and incoming Chairs. It is a great…
SIGLOG Election Results 2022
The SIGLOG Executive Committee congratulates the following who won the election to SIGLOG offices for the term of 1 July 2022 – 30 June 2025: Chair: Catuscia Palamidessi Vice-Chair: Andrzej Murawski Secretary: Sandra Alves Treasurer: Elaine Pimentel
Newsletter April 2022
Dear SIGLOG Members, This year’s April issue of the SIGLOG Newsletter appeared. In this issue The SIGLOG Chair encourages members to participate in the 2022 ACM SIG Elections and to attend the forthcoming FLoC in Haifa. In Mike Mislove’s column…
Alonzo Church Award for Outstanding Contributions to Logic and Computation 2022 Call for Nominations
SIGLOG is calling for nominations for The Alonzo Church Award, which should be submitted to rjagadee at depaul.edu by April 2, 2022. The details of the award and the nomination procedure for this year are described in this post.
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…
Newsletter October 2021
Dear SIGLOG Members, This year’s October issue of the SIGLOG Newsletter appeared. In this issue SIGLOG’s Chair Frank Pfenning announces the Chair of the Nominating Committee for the next SIGLOG elections in 2022. In Ranko Lazić’s column on Verification, Antonı́n…
Newsletter July 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…
Winners of the 2021 Alonzo Church Award
The 2021 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Georg Gottlob, Christoph Koch, Reinhard Pichler, Klaus U. Schulz, and Luc Segoufin for their fundamental work on logic-based web data extraction and querying tree-structured data
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…