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.

Statement regarding recent US travel restrictions How can we overcome this attack on openness and inclusiveness?

The SIGLOG Executive Committee shares the concern of our parent organization, ACM and of other ACM Special Interest Groups about the Executive Order that has led to travel restrictions for citizens from a list of seven countries. We view these…