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 collaborated on the research.
Eligibility and Nominations
Nominations will be solicited through the newsletters, bulletins, mailing lists, social networks, and websites of the sponsoring organizations and through publicity flyers at major conferences. The nominating letter must summarize the contribution and make the case for why it is outstanding. The nominating letter can have multiple co-signers. Self-nominations are excluded. A nomination must state clearly the contribution, explain why the contribution is fundamental and outstanding, and may be accompanied by supporting letters and other evidence of worthiness. Nominations must include a proposed citation (up to 25 words), a succinct (100-250 words) description of the contribution(s), and a detailed statement to justify the nomination.
The award will be given for intellectual depth, novelty, and impact. The award will be selected by the Award Committee from the submitted nominations by consensus, following the Ground Rules for Award-Committee Decision Making by ACM Awards Committee. If the Award Committee does not select any nomination, then no award will be made in the given year. The Award Committee shall provide a detailed citation that explains the basis of the award. The Award Committee shall take into account all individuals who have contributed to an awarded accomplishment, as well as independent discoveries of an awarded contribution, and assure that all individuals are treated fairly. In particular, the Award Committee can select a nomination, but change the set of selected individuals. The Committee must follow the Guidelines on Conflict-of-Interest by ACM Awards Committee.
Presentation of the Award
The awardee(s) will receive a certificate and a cash prize of USD2,000. If there are multiple awardees, this amount will be shared. The award will be covered by the operating expenses of the sponsoring organizations. The individual conference organization will cover the travel and other expenses for one of the award winners to present the invited talk. Each of the sponsoring organizations will contribute USD500 every year for the award honorarium.
The four positions on the Award Committee are referred to as 1, 2, 3, and 4. The Sponsoring Organizations will appoint the members of first Award Committee to specific positions. The tenure of a member in position n shall be n years. In respective subsequent years, the member in position 1 shall retire from the Committee, the member in position n (n > 1) shall assume position n-1, and a new member shall be appointed by the Sponsoring Organizations for position 4. The Sponsoring Organizations shall take turns in appointing new members, to ensure a fair representation on the Award Committee according to the schedule specified below. In the event of an unanticipated vacancy on the Award Committee, the Sponsoring Organizations shall appoint a new member to the vacated position.
The Committee shall be chaired by the member in position 2. Thus, after serving as a chair, a member serves one additional year and then retires. The chair is responsible for publicizing the request for nominations, receiving nominations and distributing them to members of the Award Committee, and overseeing the selection processes.
For the 2016 Committee, the positions will be appointed as follows:
(1) EATCS, (2) SIGLOG, (3) EACSL, and (4) EATCS, Thereafter, appointments will continue in the cyclic order EATCS, SIGLOG, EACSL. (EACSL appointments will be in consultation with KGS.)
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. Continue reading...