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 6ADCC823B6 for ; Fri, 5 Jan 2018 02:52:56 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=catuscia@lix.polytechnique.fr; spf=Pass smtp.mailfrom=catuscia@gmail.com; spf=None smtp.helo=postmaster@mail-wr0-f179.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of catuscia@lix.polytechnique.fr) identity=pra; client-ip=209.85.128.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="catuscia@gmail.com"; x-sender="catuscia@lix.polytechnique.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of catuscia@gmail.com designates 209.85.128.179 as permitted sender) identity=mailfrom; client-ip=209.85.128.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="catuscia@gmail.com"; x-sender="catuscia@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-wr0-f179.google.com) identity=helo; client-ip=209.85.128.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="catuscia@gmail.com"; x-sender="postmaster@mail-wr0-f179.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AseiSChXyW9qGPpsxXTDp3uu12dDV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbB2At8tkgFKBZ4jH8fUM07OQ7/i5HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba9vIBmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/XlsN/g79VrhGvqRJhxIDZe5uaOOZ7fq7HfdMWWWhMU8BMXCJBGIO8?= =?us-ascii?q?aI4PAvIfMOlCs4n9ukAOoge/BQa2Gejh0CVHhnvs0q0/0uQuDB/J3Bc7H9IPrX?= =?us-ascii?q?/Zq8n6O70OUeCo16nH0TTDYOlN1Df56YjJfQotoemLXbJ0ccvR1VcgGB/FjlWW?= =?us-ascii?q?qIzlJi6V2foXv2iV9eptTOSigHMppQF2pzig3MYsio/Ri4IOy1DE+iF5wIE6Jd?= =?us-ascii?q?GiT057e9GkHINItyGdM4t3Qt8iTH90tyY6zL0GuIe7fDUUx5g9yR7fcfqKeJWL?= =?us-ascii?q?7BL7TOudPyt0iXZ/dL+8hxu+61WsxvP/W8WuzVpHrC5InsHSun8XyxDf982KRe?= =?us-ascii?q?dm8Uu91juC0g/e5f1HLE0xiaXWKoItzqI1m5cRsUnPACz7lUD3gaCLbUoo5+2l?= =?us-ascii?q?5uf7brjpuJORMoF5hRr/P6swnMG0HP42PRIUX2eB/OSxzL3j8lP9QLVNlvA2l7?= =?us-ascii?q?PWsJHeJcgCqK+5GRNZ3p8t6xqiDTqr1M4UnXYALFJCdxKHi5bmN0vSL/D/CPez?= =?us-ascii?q?m1WskDF1yPDaJrDtHInBI3zZnLrifbtx8VNQxBQwwNxF+p5ZCLUMLOr2WkDrtd?= =?us-ascii?q?zYChE5Mxazw+biENhyypkRWX6SAq+CLKzSsEWH6/kgI+mJfoAVuTL9J+I56P7p?= =?us-ascii?q?iH81gUUdcrWx3ZsLdHC4GexrLFmDbnrphtcNCGMKvgslTOz2k1CCSj5SZ3OqX6?= =?us-ascii?q?0m/D07CYSmDZ3CRo+3mrCB0j27TdVqYTVNA1WIVHPpbJmsWvEWaSvULNUyvCYD?= =?us-ascii?q?UO2KQpM8zhqvvUfCwr5uK+vY9zYDtNq339Fp+vbYlBga8T1kSdya13CRQmp0mG?= =?us-ascii?q?IRWjJw0rop8h818UuKzaUt268QLtdU/f4cCgo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BRFQAQ2k5ahrOAVdFdFgcBAQUBCwGCS?= =?us-ascii?q?iKBOIEbAYQGixiNdh6JX4ZSgymFZYILI4UYAhU6AQEBARGDUEMUAQEBAQEBAQE?= =?us-ascii?q?BARIBAQEICwsIKC+CFAEBEwEBAQwigm0GJh8fQgoDAhgeAQUBCyqKLwEPoGaDR?= =?us-ascii?q?UCMEYInikoBJQUEAQiEAYFoGRGDaIY1gTsBEgFVgmExgjQFiG6BZZkFgQyGeoN?= =?us-ascii?q?0ijSCCYkPh3oCjS+GG4MYAgQCBAUCBhQlgRc2SDpvcxFnAYF/CTaEGXcBhjwBg?= =?us-ascii?q?jwBAQE?= X-IPAS-Result: =?us-ascii?q?A0BRFQAQ2k5ahrOAVdFdFgcBAQUBCwGCSiKBOIEbAYQGixi?= =?us-ascii?q?Ndh6JX4ZSgymFZYILI4UYAhU6AQEBARGDUEMUAQEBAQEBAQEBARIBAQEICwsIK?= =?us-ascii?q?C+CFAEBEwEBAQwigm0GJh8fQgoDAhgeAQUBCyqKLwEPoGaDRUCMEYInikoBJQU?= =?us-ascii?q?EAQiEAYFoGRGDaIY1gTsBEgFVgmExgjQFiG6BZZkFgQyGeoN0ijSCCYkPh3oCj?= =?us-ascii?q?S+GG4MYAgQCBAUCBhQlgRc2SDpvcxFnAYF/CTaEGXcBhjwBgjwBAQE?= X-IronPort-AV: E=Sophos;i="5.46,316,1511823600"; d="scan'208,217";a="307717498" Received: from mail-wr0-f179.google.com ([209.85.128.179]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 05 Jan 2018 02:52:41 +0100 Received: by mail-wr0-f179.google.com with SMTP id p6so3137602wrd.0 for ; Thu, 04 Jan 2018 17:52:41 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:mime-version:subject:message-id:date:to; bh=xKco1r9rwNin1l+EtaDTB07T8nFeVcqmkgtcvYaDPmw=; b=dJgtZwgqnhsrXRM8qMd2MQkDTjmwDiM2l/9iTa37iV8d/7t5TdvGWsiodFo7UoRdUC /wCtuAZPYwFQUqtz9S4Pgp6DAoEN98bVmjaz0YZaCfSfguQMZ88OCKer35X5A29AINNh JELQ4WCajiUC5MecQ90hNrEl5C8iyA49qegEdjQ52K1N2PfDSwjaMuyx9u7UXDyGa8gq USFc+WKz+FnZajYxza14aWfyvaNz6wByIYtXOK14HcGn21ckkSUYvtjGiavQ6X6xjGRk mO2Mo32LwaHdTuM2aySJR3EZwU9FZEYWRD2TwNk53qwFr1war69W7atJUrz8yvCx9jf/ Nwew== X-Gm-Message-State: AKGB3mK1/Ijxh8f8C0KOkdvn5txr+JP8MGyd5yNNhwgj70YKzXvqVDKq ozG8S7psCpZDbCHjkB4F2DjhjA== X-Google-Smtp-Source: ACJfBos6ehk0j20z+TZajbYn7yZHibRZgiZWei3KtxFZxZLVlgsZ2LCjO128vd3/SOxAckUUI2dh+g== X-Received: by 10.223.147.71 with SMTP id 65mr1399978wro.155.1515117161076; Thu, 04 Jan 2018 17:52:41 -0800 (PST) Received: from 2a01cb0404c8c60075286db180423b6e.ipv6.abo.wanadoo.fr (2a01cb0404c8c60075286db180423b6e.ipv6.abo.wanadoo.fr. [2a01:cb04:4c8:c600:7528:6db1:8042:3b6e]) by smtp.gmail.com with ESMTPSA id l9sm4082726wrb.45.2018.01.04.17.52.40 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 04 Jan 2018 17:52:40 -0800 (PST) From: Catuscia Palamidessi Content-Type: multipart/alternative; boundary="Apple-Mail=_FB48B69A-2AD8-4F90-A71D-5FCB74713DEB" Mime-Version: 1.0 (Mac OS X Mail 11.2 \(3445.5.20\)) Message-Id: Date: Fri, 5 Jan 2018 02:52:39 +0100 To: caml-list@inria.fr X-Mailer: Apple Mail (2.3445.5.20) X-Validation-by: catuscia@lix.polytechnique.fr Subject: [Caml-list] The Alonzo Church Award: Call for Nominations --Apple-Mail=_FB48B69A-2AD8-4F90-A71D-5FCB74713DEB Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 The 2018 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=C3=B6del Society (KGS). The award = is for an outstanding contribution represented by a paper or by a small gro= up 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.org/awards/alonzo-church-award/ . The 2017 Alonzo Church Award was given jointly to Samson Abramsky, Radha Ja= gadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno Nickau for= providing a fully-abstract semantics for higher-order computation through = the introduction of game models, see: http://siglog.org/winners-of-the-2017= -alonzo-church-award/ . Eligibility and Nominations The contribution must have appeared in a paper or papers published within t= he past 25 years. Thus, for the 2018 award, the cut-off date is January 1, = 1993. 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=C3=B6del Prize.= (The nominee(s) may have received such awards for other contributions.) Wh= ile the contribution can consist of conference or journal papers, journal p= apers will be given a preference. Nominations for the 2018 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 nominati= on. Nominations may also be accompanied by supporting letters and other evi= dence of worthiness. Nominations should be submitted to catuscia@lix.polytechnique.fr by March 1, 2018.=20 Presentation of the Award The 2018 award will be presented at ICALP 2018, the International Colloquiu= m on Automata, Languages and Programming. 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 th= ere are multiple awardees, this amount will be shared. Award Committee The 2018 Alonzo Church Award Committee consists of the following five membe= rs: Thomas Eiter, Javier Esparza, Catuscia Palamidessi (chair), Gordon Plot= kin, and Natarajan Shankar.=20 ---------------------------------------------------------------------------= ---------------------------- Catuscia Palamidessi INRIA Saclay and LIX=09=09=20=20=20=20=20=20=20=20 1 rue Honor=C3=A9 d'Estienne d'Orves=09=09=09 B=C3=A2timent Alan Turing Office: +33 (0)1 74 85 42 49 Campus de l'=C3=89cole Polytechnique Email:=C2=A0catuscia@lix.polytechniq= ue.fr 91120 Palaiseau, FR URL: www.lix.polytechnique.fr/~catuscia ---------------------------------------------------------------------------= ----------------------------- --Apple-Mail=_FB48B69A-2AD8-4F90-A71D-5FCB74713DEB Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
=09=09 =09 =09

The 2018 Alonzo Church Award for Out= standing Contributions to Logic and Computation

Call for Nominations

Introduction

An annual award, called the Alonzo Church Award for O= utstanding 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 Soc= iety (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 lasting impact and depth of th= e 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.org/awards= /alonzo-church-award/.

The 2017 Alonzo Church Award was given jointly to Sam= son Abramsky, Radha Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno Nickau for providing a fully-= abstract semantics for higher-order computation through the introduction of game models, see:&= nbsp;http://s= iglog.org/winners-of-the-2017-alonzo-church-award/.

Eligibility and Nominations

The contribution must have appeared in a paper or pap= ers published within the past 25 years. Thus, for the 2018 award, the cut-off date is January 1, 1993. When a paper has a= ppeared in a conference and then in a journal, the date of the journal publication will determine t= he 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. (The nominee(s) may have rec= eived 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 2018 award are now being solicite= d. The nominating letter 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 mu= st include: a proposed citation (up to 25 words); a succinct (100-250 words) description of the co= ntribution; 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 should be submitted to catuscia@lix.polytechnique.f= r by March 1, 2018. 

= Presentation of the Award

The 2018 award will be prese= nted at ICALP 2018, the International Colloquium on Automata, Languages and= Programming. The award will be accompanied by an invited lecture by the aw= ard 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 will be shared.

Award Committee

The 2018 Alonzo Church Award Committee consists of th= e following five members: Thomas Eiter, Javier Esparza, Catuscia Palamidessi (chair), Gordon Plotkin, and Natarajan= Shankar. 




-= ---------------------------------------------------------------------------= ---------------------------
 Catuscia Palamidessi
 INRIA Saclay and LIX         
=  1 rue Honor=C3=A9 d'Estienne d'Orves
 B=C3=A2timent Alan= Turing  = Office: +33 (0)1 74 85 42 49
 Campus de l'= =C3=89cole Polytechnique  Email: catuscia@lix.polytechnique.fr
 91= 120 Palaiseau, FR      URL: www.lix.polytechnique.fr/~catuscia
-------------------------------------------------------------------------= -------------------------------




= --Apple-Mail=_FB48B69A-2AD8-4F90-A71D-5FCB74713DEB--