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