Alonzo Church Award for Outstanding Contributions to Logic and Computation

An annual award, called 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 Goedel Society (KGS) (referred to below as the four “Sponsoring Organizations”). The award is for an outstanding contribution represented by a paper or small group of papers within the past 25 years. This time span allows the contribution to have established evidence of lasting impact and depth. The award can be given to an individual, or a group of individuals who have made substantial contributions to the result.