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.
Alonzo Church Award for Outstanding Contributions to Logic and Computation 2020 Call for Nominations
SIGLOG is calling for nominations for The Alonzo Church Award, which should be submitted to thomas.eiter@tuwien.ac.at by April 1, 2020. The details of the award and the nomination procedure for this year are described in this post.
Winners of the 2019 Alonzo Church Award
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.
Alonzo Church Award for Outstanding Contributions to Logic and Computation 2019 Call for Nominations
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.
Winners of the 2018 Alonzo Church Award
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.
The 2018 Alonzo Church Award for Outstanding Contributions to Logic and Computation Call for Nominations
SIGLOG is calling for nominations for The Alonzo Church Award, which should be submitted to catuscia@lix.polytechnique.fr by March 1, 2018. The details of the award and the nomination procedure for this year are described in this post.
Winners of the 2017 Alonzo Church Award
The 2017 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to 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.
The 2017 Alonzo Church Award for Outstanding Contributions to Logic and Computation Call for Nominations
SIGLOG is calling for nominations for The Alonzo Church Award due by March 1, 2017. The details of the award and the nomination procedure for this year are described in this post.
The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation
The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to 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.