Alonzo Church Award

The Alonzo Church Award for Outstanding Contributions to Logic and Computation was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS). The award is for an outstanding contribution represented by a paper or small group of papers within the past 25 years.


The 2017 Alonzo Church Award for Outstanding Contributions to
Logic and Computation

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 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.

Description of the contribution