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.
Newsletter October 2017
Newsletter July 2017
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.
Newsletter April 2017
Statement regarding recent US travel restrictions How can we overcome this attack on openness and inclusiveness?
Newsletter January 2017
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.