Alonzo Church Award for Outstanding Contributions to Logic and Computation

Prize: National/international honour

Description

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.
Degree of recognitionInternational
Granting OrganisationsACM 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).

Awarded at event

Event title46th International Colloquium on Automata, Languages, and Programming 2019
Location, Patras, Greece
Period8 Jul 2019 → 12 Jul 2019

    Fingerprint