<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">CALL FOR NOMINATIONS</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">The 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">INTRODUCTION</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">An annual award, called the Alonzo Church Award for Outstanding</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">Contributions to Logic and Computation, was established in 2015 by the</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">ACM Special Interest Group for Logic and Computation (SIGLOG), the</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">European Association for Theoretical Computer Science (EATCS), the</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">European Association for Computer Science Logic (EACSL), and the Kurt</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">Goedel Society (KGS). The award is for an outstanding contribution</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">represented by a paper or by a small group of papers published within</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">the past 25 years. This time span allows the lasting impact and depth</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">of the contribution to have been established. The award can be given</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">to an individual, or to a group of individuals who have collaborated</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">on the research. For the rules governing this award, see</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class=""><a href="https://urldefense.com/v3/__https://siglog.org/alonzo-church-award/__;!!IBzWLUs!UTDYzzZpvO-QNNbOqzFx9FEljeK1dGzILiERFxgF-eND60uLoz2qOJPnTXH8pg3tIMsastuai_PwJxVzCrr5A6BFyzIzhlHb$" class="">https://siglog.org/alonzo-church-award/</a>,</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class=""><a href="https://urldefense.com/v3/__https://www.eatcs.org/index.php/church-award/__;!!IBzWLUs!UTDYzzZpvO-QNNbOqzFx9FEljeK1dGzILiERFxgF-eND60uLoz2qOJPnTXH8pg3tIMsastuai_PwJxVzCrr5A6BFy_D9y9Bc$" class="">https://www.eatcs.org/index.php/church-award/</a>, and </div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class=""><a href="https://urldefense.com/v3/__https://www.eacsl.org/alonzo-church-award/__;!!IBzWLUs!UTDYzzZpvO-QNNbOqzFx9FEljeK1dGzILiERFxgF-eND60uLoz2qOJPnTXH8pg3tIMsastuai_PwJxVzCrr5A6BFy49nxLxM$" class="">https://www.eacsl.org/alonzo-church-award/</a> .</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">The 2022 Alonzo Church Award was given to Dexter Kozen for his ground-</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">breaking work on the theory and applications of Kleene Algebra with Tests. </div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">Lists containing this and all previous winners can be found through the links </div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">above. </div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">ELIGIBILITY AND NOMINATIONS</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">The contribution must have appeared in a paper or papers published within</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">the past 25 years. Thus, for the 2023 award, the cut-off date is January 1,</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">1998. When a paper has appeared in a conference and then in a journal, the</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">date of the journal publication will determine the cut-off date. In</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">addition, the contribution must not yet have received recognition via a</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">major award, such as the Turing Award, the Kanellakis Award, or the Goedel</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">Prize. (The nominee(s) may have received such awards for other</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">contributions.) While the contribution can consist of conference or journal</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">papers, journal papers will be given a preference.</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">Nominations for the 2023 award are now being solicited. The nominating</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">letter must summarise the contribution and make the case that it is</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">fundamental and outstanding. The nominating letter can have multiple</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">co-signers. Self-nominations are excluded. Nominations must include: a</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">proposed citation (up to 25 words); a succinct (100-250 words) description</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">of the contribution; and a detailed statement (not exceeding four pages) to</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">justify the nomination. Nominations may also be accompanied by supporting</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">letters and other evidence of worthiness. Nominations for the 2023 award </div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">are automatically considered for all future editions of the award, until </div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">they receive the award or the nominated papers are no longer eligible.</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">Nominations should be submitted to <a href="mailto:dezani@di.unito.it" class="">dezani@di.unito.it</a> and to </div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class=""><a href="mailto:mariangiola.dezani@gmail.com" class="">mariangiola.dezani@gmail.com</a> by <span style="color: #fb0207" class="">February 15, 2023</span>.</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">PRESENTATION OF THE AWARD</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">The 2023 award will be presented at the 50th EATCS International Colloquium </div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">on Automata, Languages and Programming, which is scheduled to take place in </div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">Paderborn - Germany on July 10-14, 2023. The award will be accompanied by </div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">an invited lecture by the award winner, or by one of the award winners. </div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">The awardee(s) will receive a certificate and a cash prize of USD 2,000. </div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">If there are multiple awardees, this amount will be shared.</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">AWARD COMMITTEE</div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">The 2023 Alonzo Church Award Committee consists of the following five members: </div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">Thomas Colcombet, Mariangiola Dezani (chair), Marcelo Fiore, Radha Jagadeesan, and </div><div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">Igor Walukiewicz.</div><div class=""><br class=""></div><div class="">
<meta charset="UTF-8" class=""><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div>@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@<br class=""><br class="">Mariangiola Dezani-Ciancaglini<br class="">Dipartimento di Informatica<br class="">Universita' di Torino<br class="">c.Svizzera 185, 10149 Torino (Italy)<br class=""><br class=""><br class=""><br class=""></div></div>
</div>
<br class=""></body></html>