The ACM Special Interest Group on Logic and Computation (SIGLOG) is a community organization dedicated to the advancement of logic and computation, and formal methods in Computer Science, broadly defined.
Newsletter January 2023
Dear SIGLOG Members, This year’s January issue of the SIGLOG Newsletter appeared. In this issue The SIGLOG Chair reports on some interesting events that took place last year and will take place in the new one. In his first Security and Privacy column, Steve Kremer presents an insightful work by Natasha Fernandes on optimality for differential privacy in the ...
Recent Recipients of the Alonzo Church Award
Winner of the 2022 Alonzo Church Award
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.
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 Segouﬁn for their fundamental work on logic-based web data extraction and querying tree-structured data
Winners of the 2020 Alonzo Church Award
The 2020 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa, and Wang Chiew Tan for their ground-breaking work on laying the logical foundations for data exchange.