The 2026 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented to Pablo Barceló, Leonid Libkin, Wim Martens, Juan Reutter, Miguel Romero, Moshe Vardi, and Domagoj Vrgoč for laying foundations of logical languages for querying property graphs that found adoption in the SQL and GQL international standards within a decade. The awardee… Continue reading »
The 2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented to Paul Blain Levy for his fundamental study of effectful λ-calculi through the Call-by-Push-Value calculus. The awardee book and paper are: Paul Blain Levy. Call-By-Push-Value: A Functional/Imperative Synthesis. Semantics Structures in Computation 2, Springer 2004, ISBN 1-4020-1730-8 Paul Blain Levy. Call-by-Push-Value:… Continue reading »
The 2024 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented jointly to 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. The awarded papers are: Thomas Ehrhard. Finiteness spaces. In:… Continue reading »
The 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to 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.
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.
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
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.
The 2019 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Murdoch J. Gabbay and Andrew M. Pitts for their ground-breaking work introducing the theory of nominal representations.
SIGLOG is calling for nominations for The Alonzo Church Award, which should be submitted to shankar@csl.sri.com by March 1, 2019. The details of the award and the nomination procedure for this year are described in this post.
The 2018 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Tomás Feder and Moshe Y. Vardi for their fundamental contributions to the computational complexity of constraint-satisfaction problems.