From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 118067FA5F for ; Thu, 19 Jan 2017 22:34:06 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gordon.plotkin@gmail.com; spf=Pass smtp.mailfrom=gordon.plotkin@gmail.com; spf=None smtp.helo=postmaster@mail-qk0-f174.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gordon.plotkin@gmail.com) identity=pra; client-ip=209.85.220.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gordon.plotkin@gmail.com"; x-sender="gordon.plotkin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gordon.plotkin@gmail.com designates 209.85.220.174 as permitted sender) identity=mailfrom; client-ip=209.85.220.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gordon.plotkin@gmail.com"; x-sender="gordon.plotkin@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qk0-f174.google.com) identity=helo; client-ip=209.85.220.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gordon.plotkin@gmail.com"; x-sender="postmaster@mail-qk0-f174.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AUZ0dGBLS9IikQzOskNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgUK/TxwZ3uMQTl6Ol3ixeRBMOAuq4C17Od6vy8ESxYuNDa7yBEKMQNHzY+yu?= =?us-ascii?q?wo3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?= =?us-ascii?q?fre9LKeJ153yj7n6u8SOIlYAuD3oK7x1Nhmxq0PJss4KgopkYO5lxRzTrnxOPf?= =?us-ascii?q?xSwn9rJFS7kBP158P295lmpXd+ofUkouFHS6n9eewASbtEDzUgezQ649fnsh+F?= =?us-ascii?q?VQ+I+ngdVE0ZlxNJB07O6xSsDcS5iTfzqucogHrSBsbxV71hAGmv?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DPRgAqMIFYhq7cVdFeGgEBAQEUAQEBA?= =?us-ascii?q?QMBAQEBBwEBAQEBEwEBAQEBAgEBAQEBBoIxUAEBAQEBQT54EQeDSqUAjkQuhgu?= =?us-ascii?q?BZQdDEAEBAQEBAQEBAQEBEgEBAQgLCwodMIIPAQETAQEBDAQDAxaCGx8GHQEbD?= =?us-ascii?q?BIDEgMNNwIkAREBBQEiE4hnAQMYDpItjU2DQD+MAoIDBQEcgwkFg2QKGScNVYJ?= =?us-ascii?q?YAgYShjmHK4USgl4FhzOUEYF7hGaLBIJJjiUCjluCTRQegRQPJ1lfEh1jg2QLS?= =?us-ascii?q?YFrPjUBAYcDJAIMgX0BAQE?= X-IPAS-Result: =?us-ascii?q?A0DPRgAqMIFYhq7cVdFeGgEBAQEUAQEBAQMBAQEBBwEBAQE?= =?us-ascii?q?BEwEBAQEBAgEBAQEBBoIxUAEBAQEBQT54EQeDSqUAjkQuhguBZQdDEAEBAQEBA?= =?us-ascii?q?QEBAQEBEgEBAQgLCwodMIIPAQETAQEBDAQDAxaCGx8GHQEbDBIDEgMNNwIkARE?= =?us-ascii?q?BBQEiE4hnAQMYDpItjU2DQD+MAoIDBQEcgwkFg2QKGScNVYJYAgYShjmHK4USg?= =?us-ascii?q?l4FhzOUEYF7hGaLBIJJjiUCjluCTRQegRQPJ1lfEh1jg2QLSYFrPjUBAYcDJAI?= =?us-ascii?q?MgX0BAQE?= X-IronPort-AV: E=Sophos;i="5.33,255,1477954800"; d="scan'208,217";a="256346496" Received: from mail-qk0-f174.google.com ([209.85.220.174]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Jan 2017 22:34:04 +0100 Received: by mail-qk0-f174.google.com with SMTP id 11so19079945qkl.3 for ; Thu, 19 Jan 2017 13:34:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=rM/m/dXwySoTv9myA3OJZt3TYlE77fmYu3NMd4QK/v8=; b=agHwqZFkYjarvyVKSErCXkt/Z+peENr8atzx+Ddfh1WVbQZXlKKL95Vi8WgJPN1fvS MEOTEKIVt8p3BL5aD8frf5i20E57+G5s0ArdhCe3DwkApMeVixucNpQ/8h6xujoEdBWZ 0mIes/b9pw6kBghBWKVnwdA/THlQj2JrbZeedjFmy1x5eZ9qv4Yjs/2QaULmx5ULuRJT TNVgfjMMSIJwf35krmoxxEJrsXUD5TZi/lOhvVOIyBgb/P9xmKv2Fpadi1PFMD2QFLzg nMfYcnph3PYcKDwkVSNIFykk8AaZ2isv1WxGIobHZ7mm1OQK3lHQbqL/+Ujusk28Kkfq t9tg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=rM/m/dXwySoTv9myA3OJZt3TYlE77fmYu3NMd4QK/v8=; b=Hz8SkkkcAg0rbIPQdjtpsSSjrrDg4TbFvy+vRqBfBziiMwERVTo/MvIYayy0I7sxj8 VMN2QiFIr8AmfQPBbsQWf8QcEL6zj3IXYMwNTg6U0U6N4GEPrDZZgn4iz2NvI3Hn8w/0 U/ue0DkJZe9JQL2n6nLoEdNc5a58qsVxT1eV9x8VHT9q84chERTCLshTPkSuwU+d04qU mMxHCy54sMI2RIdEDW8zod5+bk2Uw3wvhE52FNT2br1aTqdTub5Y+Fw0e9T88li6zR41 03yIS/tIVJYXxnb6ttxDS3LzGEBbUaQvhE6Mav5QMIwdAXJnitPeBl0lI/2tb85aQbLk 5UWw== X-Gm-Message-State: AIkVDXJTdQcWyMHSl6adpHO7k/W2AgWfaBCkoHuFu3YErZCyqDOSfPmxAofSlaDjoGxwgDPFDehK9fBLn9W4Dg== X-Received: by 10.233.239.17 with SMTP id d17mr9634066qkg.13.1484861643539; Thu, 19 Jan 2017 13:34:03 -0800 (PST) MIME-Version: 1.0 Received: by 10.140.42.36 with HTTP; Thu, 19 Jan 2017 13:33:43 -0800 (PST) From: Gordon Plotkin Date: Thu, 19 Jan 2017 21:33:43 +0000 Message-ID: To: "gordon.plotkin" Content-Type: multipart/alternative; boundary=94eb2c11214ecdcb570546794a9a X-Validation-by: gordon.plotkin@gmail.com Subject: [Caml-list] Alonzo Church Award 2017: Call for Nominations --94eb2c11214ecdcb570546794a9a Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable *Introduction* 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 G=C3=B6del Society (KGS). The award is for an outstan= ding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research. For the rules governing this award, see: http://siglog.hosting.acm.org/the-alonzo-church-award-for- outstanding-contributions-to-logic-and-computation/ The 2016 Alonzo Church Award was given to Rajeev Alur and David Dill for th= eir invention of timed automata, see: *http://siglog.hosting.acm.org/wp-content/uploads/2016/05/church16.pdf * *Eligibility and Nominations* The contribution must have appeared in a paper or papers published within t= he past 25 years. Thus, for the 2017 award, the cut-off date is January 1, 199= 2. 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 addition, the contribution must not yet have received recognition via a major award, such as the Turing Award, the Kanellakis Award, or the G=C3=B6del Prize. (T= he nominee(s) may have received such awards for other contributions.) While the contribution can consist of conference or journal papers, journal papers will be given a preference. Nominations for the 2017 award are now being solicited. The nominating lett= er must summarise 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 nomination. Nominations may also be accompanied by supporting letters and other evidence of worthiness. Nominations are due by *March 1, 2017* and should be submitted to gdp@inf.ed.ac.uk. *Presentation of the Award* The 2017 award will be presented at the CSL conference, the annual meeting = of the European Association for Computer Science Logic. 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 and a cash prize of USD 2,000. If there are multiple awardees, this amount will be shared. *Award Committee* The 2017 Alonzo Church Award Committee consists of the following four membe= rs: Natarajan Shankar, Catuscia Palamidessi, Gordon Plotkin (chair), and Moshe Vardi. --94eb2c11214ecdcb570546794a9a Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Intro= duction


An annual awa= rd, called the=C2=A0

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Alonzo Church Award for Outstanding= =C2=A0Contribution= s to Logic and Computation

was established in 2015 by the ACM=C2=A0Special Interest Group for Logic and= Computation (SIGLOG), the European=C2=A0Association for Theoretical Computer Science (EATCS)= , the European=C2=A0Association for Computer Science Logic (EACSL), and the Kurt G=C3=B6del S= ociety=C2=A0(KGS).= The award is for an outstanding contribution represented by a paper=C2=A0<= /span>or by a small group= of papers published within the past 25 years. This time=C2=A0span allows the lasting impact = and depth of the contribution to have been=C2=A0established. The award can be given to an ind= ividual, or to a group of=C2=A0individuals who have collaborated on the research. For the rul= es governing=C2=A0= this award, see:

http://siglog.hosting.acm.org/the-alonzo-church-award-for-ou= tstanding-contributions-to-logic-and-computation/


The 2016 Alonzo Church Award was given to Rajeev= Alur and David Dill for=C2=A0their invention of timed automata, see:=C2=A0http://siglog.hosti= ng.acm.org/wp-content/uploads/2016/05/church16.pdf

Eligibility and Nominations=


The contribution must ha= ve appeared in a paper or papers published within=C2=A0the past 25 years. Thus, for the 201= 7 award, the cut-off date is January 1,=C2=A01992. When a paper has appeared in a conference = and then in a journal, the=C2=A0date of the journal publication will determine the cut-off da= te. In=C2=A0additi= on, the contribution must not yet have received recognition via a =C2=A0major award, such as = the Turing Award, the Kanellakis Award, or the G=C3=B6del=C2=A0Prize. (The nominee(s) may hav= e received such awards for other
contributions= .) While the contribution can consist of conference or journal=C2=A0= papers, journal papers wi= ll be given a preference.

Nominations for the 2017 award are now being so= licited. The nominating=C2=A0letter must summarise the contribution and make the case that it= is=C2=A0fundament= al and outstanding. The nominating letter can have multiple=C2=A0co-signers. Self-nominations= are excluded. Nominations must include: a=C2=A0proposed citation (up to 25 words); a succinc= t (100-250 words) description=C2=A0of the contribution; and a detailed statement (not exceedi= ng four pages) to=C2=A0justify the nomination. Nominations may also be accompanied by support= ing
letters and other evidence of worthiness.<= /span>


= Nominations are due by=C2= =A0*March 1, 2017* and should be submitted to=C2=A0gdp@inf.ed.ac.u= k.
<= br style=3D"color:rgb(0,0,0);font-size:12.8px">Presentation of the Award

The 2017 award wil= l be presented at the CSL conference, the annual meeting=C2=A0of the European Association for= Computer Science Logic. The award will be=C2=A0accompanied by an invited lecture by the awar= d winner, or by one of the=C2=A0award winners. The awardee(s) will receive a certificate and = a cash prize
of USD 2,000. If there are multip= le awardees, this amount will be shared.

Award Committee
The 201= 7 Alonzo Church Award Committee consists of the following four=C2=A0= members: Natarajan Shanka= r, Catuscia Palamidessi, Gordon Plotkin (chair),=C2=A0and Moshe Vardi.
--94eb2c11214ecdcb570546794a9a--