Alonzo Church Award
In 2015, SIGLOG established, in cooperation with EATCS, EACSL and the Kurt Gödel Society, the ''Alonzo Church Award for Outstanding Contributions to Logic and Computation''. The list of past award winners is maintained by the EACSL. * 2016 Rajeev Alur and David Dill "for their invention of timed automata, a decidable model of real-time systems, which combines a novel, elegant, deep theory with widespread practical impact." * 2017 Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno Nickau "for providing a fully-abstract semantics for higher-order computation through the introduction of game models, thereby fundamentally revolutionising the field of programming language semantics, and for the applied impact of these models." * 2018 Tomás Feder and Moshe Y. Vardi "for fundamental contributions to the computational complexity of constraint-satisfaction problems." * 2019 Murdoch J. Gabbay and Andrew M. Pitts for "their ground-breaking work introducing the theory of nominal representations, a powerful and elegant mathematical model for computing with data involving atomic names." * 2020 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." * 2021 Georg Gottlob, Christoph Koch, Reinhard Pichler, Klaus U. Schulz, and Luc Segoufin for "fundamental work on logic-based web data extraction and querying tree-structured data." * 2022 Dexter Kozen for "his fundamental work on developing the theory and applications of Kleene Algebra with Tests, an equational system for reasoning about iterative programs". * 2023 Lars Birkedal, Aleš Bizjak, Derek Dreyer, Jacques-Henri Jourdan, Ralf Jung, Robbert Krebbers, Filip Sieczkowski, Kasper Svendsen, David Swasey and Aaron Turon "for the design and implementation of Iris, a higher-order concurrent separation logic framework." * 2024 Thomas Ehrhard and Laurent Regnier "for giving a logical and computational account of differentiation, bringing Taylor expansion to the Curry-Howard correspondence, which had a major impact on programming language semantics." * 2025 Paul Blain Levy.References
{{Authority control Association for Computing Machinery Special Interest Groups