<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 class="">CALL FOR NOMINATIONS</div><div class=""><br class=""></div><div class="">The 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation</div><div class=""><br class=""></div><div class="">INTRODUCTION</div><div class=""><br class=""></div><div class="">An annual award, called the Alonzo Church Award for Outstanding</div><div class="">Contributions to Logic and Computation, was established in 2015 by the</div><div class="">ACM Special Interest Group for Logic and Computation (SIGLOG), the</div><div class="">European Association for Theoretical Computer Science (EATCS), the</div><div class="">European Association for Computer Science Logic (EACSL), and the Kurt</div><div class="">Goedel Society (KGS). The award is for an outstanding contribution</div><div class="">represented by a paper or by a small group of papers published within</div><div class="">the past 25 years. This time span allows the lasting impact and depth</div><div class="">of the contribution to have been established. The award can be given</div><div class="">to an individual, or to a group of individuals who have collaborated</div><div class="">on the research. For the rules governing this award, see</div><div class=""><a href="https://urldefense.com/v3/__https://siglog.org/alonzo-church-award/__;!!IBzWLUs!Qt50stRwgTIFXm5WXc29oxKB8kSH6y90fM9lyEehudUgcAMptQom0vUlIRYB9GxVdEGOSUAWDaiOAELswaMiE0BS9-kp4BgU$" class="">https://siglog.org/alonzo-church-award/</a>,</div><div class=""><a href="https://urldefense.com/v3/__https://www.eatcs.org/index.php/church-award/__;!!IBzWLUs!Qt50stRwgTIFXm5WXc29oxKB8kSH6y90fM9lyEehudUgcAMptQom0vUlIRYB9GxVdEGOSUAWDaiOAELswaMiE0BS91Yzl9YI$" class="">https://www.eatcs.org/index.php/church-award/</a>, and </div><div class=""><a href="https://urldefense.com/v3/__https://www.eacsl.org/alonzo-church-award/__;!!IBzWLUs!Qt50stRwgTIFXm5WXc29oxKB8kSH6y90fM9lyEehudUgcAMptQom0vUlIRYB9GxVdEGOSUAWDaiOAELswaMiE0BS96aHRN6N$" class="">https://www.eacsl.org/alonzo-church-award/</a> .</div><div class=""><br class=""></div><div class="">The 2022 Alonzo Church Award was given to Dexter Kozen for his ground-</div><div class="">breaking work on the theory and applications of Kleene Algebra with Tests. </div><div class="">Lists containing this and all previous winners can be found through the links </div><div class="">above. </div><div class=""><br class=""></div><div class="">ELIGIBILITY AND NOMINATIONS</div><div class=""><br class=""></div><div class="">The contribution must have appeared in a paper or papers published within</div><div class="">the past 25 years. Thus, for the 2023 award, the cut-off date is January 1,</div><div class="">1998. When a paper has appeared in a conference and then in a journal, the</div><div class="">date of the journal publication will determine the cut-off date. In</div><div class="">addition, the contribution must not yet have received recognition via a</div><div class="">major award, such as the Turing Award, the Kanellakis Award, or the Goedel</div><div class="">Prize. (The nominee(s) may have received such awards for other</div><div class="">contributions.) While the contribution can consist of conference or journal</div><div class="">papers, journal papers will be given a preference.</div><div class=""><br class=""></div><div class="">Nominations for the 2023 award are now being solicited. The nominating</div><div class="">letter must summarise the contribution and make the case that it is</div><div class="">fundamental and outstanding. The nominating letter can have multiple</div><div class="">co-signers. Self-nominations are excluded. Nominations must include: a</div><div class="">proposed citation (up to 25 words); a succinct (100-250 words) description</div><div class="">of the contribution; and a detailed statement (not exceeding four pages) to</div><div class="">justify the nomination. Nominations may also be accompanied by supporting</div><div class="">letters and other evidence of worthiness. Nominations for the 2023 award </div><div class="">are automatically considered for all future editions of the award, until </div><div class="">they receive the award or the nominated papers are no longer eligible.</div><div class=""><br class=""></div><div class="">Nominations should be submitted to <a href="mailto:dezani@di.unito.it" class="">dezani@di.unito.it</a> and to </div><div class=""><a href="mailto:mariangiola.dezani@gmail.com" class="">mariangiola.dezani@gmail.com</a> by February 1, 2023.</div><div class=""><br class=""></div><div class="">PRESENTATION OF THE AWARD</div><div class=""><br class=""></div><div class="">The 2023 award will be presented at the 50th EATCS International Colloquium </div><div class="">on Automata, Languages and Programming, which is scheduled to take place in </div><div class="">Paderborn - Germany on July 10-14, 2023. The award will be accompanied by </div><div class="">an invited lecture by the award winner, or by one of the award winners. </div><div class="">The awardee(s) will receive a certificate and a cash prize of USD 2,000. </div><div class="">If there are multiple awardees, this amount will be shared.</div><div class=""><br class=""></div><div class="">AWARD COMMITTEE</div><div class=""><br class=""></div><div class="">The 2023 Alonzo Church Award Committee consists of the following five members: </div><div class="">Thomas Colcombet, Mariangiola Dezani (chair), Marcelo Fiore, Radha Jagadeesan, and </div><div 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>