From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8779 Path: news.gmane.org!not-for-mail From: Gordon Plotkin Newsgroups: gmane.science.mathematics.categories,gmane.spam.detected Subject: Call for Nominations: The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation Date: Fri, 1 Jan 2016 15:51:49 +0000 Message-ID: Reply-To: Gordon Plotkin NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1451829459 24813 80.91.229.3 (3 Jan 2016 13:57:39 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 3 Jan 2016 13:57:39 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sun Jan 03 14:57:31 2016 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1aFjA1-0006KS-Mf for gsmc-categories@m.gmane.org; Sun, 03 Jan 2016 14:57:29 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:51614) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1aFj8k-0003xn-BA; Sun, 03 Jan 2016 09:56:10 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1aFj8g-00065H-ID for categories-list@mlist.mta.ca; Sun, 03 Jan 2016 09:56:06 -0400 Content-Disposition: inline Precedence: bulk X-Spam-Report: 5.9 points; * 1.6 DATE_IN_PAST_24_48 Date: is 24 to 48 hours before Received: date * 2.5 LOCALPART_IN_SUBJECT Local part of To: address appears in Subject * 1.8 MIME_QP_LONG_LINE RAW: Quoted-printable line longer than 76 chars Xref: news.gmane.org gmane.science.mathematics.categories:8779 gmane.spam.detected:5317404 Archived-At: The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Com= putation Call for Nominations Introduction An annual award, called the Alonzo Church Award for Outstanding Contributio= ns to Logic and Computation, was established in 2015 by the ACM Special Int= erest Group for Logic and Computation (SIGLOG), the European Association fo= r Theoretical Computer Science (EATCS), the European Association for Comput= er Science Logic (EACSL), and the Kurt G=F6del Society (KGS). The award is = for an outstanding contribution represented by a paper or by a small group = of papers published within the past 25 years. This time span allows the las= ting impact and depth of the contribution to have been established. The awa= rd can be given to an individual, or to a group of individuals who have col= laborated on the research. For the rules governing this award, see http://= siglog.hosting.acm.org/the-alonzo-church-award-for-outstanding-contribution= s-to-logic-and-computation/ Eligibility and Nominations The contribution must have appeared in a paper or papers published within t= he past 25 years. Thus, for the 2016 award, the cut-off date is January 1, = 1991. When a paper has appeared in a conference and then in a journal, the = date of the journal publication will determine the cut-off date. In additio= n, the contribution must not yet have received recognition via a major awar= d, such as the Turing Award, the Kanellakis Award, or the G=F6del Prize. (T= he nominee(s) may have received such awards for other contributions.) While= the contribution can consist of conference or journal papers, journal pape= rs will be given a preference.=20 Nominations for the 2016 award are now being solicited. The nominating lett= er must summarize the contribution and make the case that it is fundamental= and outstanding. The nominating letter can have multiple co-signers. Self-= nominations are excluded. Nominations must include: a proposed citation (up= to 25 words); a succinct (100-250 words) description of the contribution; = and a detailed statement (not exceeding four pages) to justify the nominati= on. Nominations may also be accompanied by supporting letters and other evi= dence of worthiness. Nominations are due by March 1, 2016, and should be submitted to vardi@cs.r= ice.edu Presentation of the Award The 2016 award will be presented at LICS, the flagship conference of SIGLOG= . The award will be accompanied by an invited lecture by the award winner, = or by one of the award winners. The awardee(s) will receive a certificate a= nd a cash prize of USD 2,000. If there are multiple awardees, this amount w= ill be shared.=20 Award Committee=20 The 2016 Alonzo Church Award Committee consists of the following four membe= rs: Catuscia Palamidessi, Gordon Plotkin, Wolfgang Thomas, and Moshe Vardi = (chair). [For admin and other information see: http://www.mta.ca/~cat-dist/ ]