<div dir="ltr">CALL FOR NOMINATIONS<br><br><div>The 2024 Alonzo Church Award for Outstanding Contributions to Logic </div><div>and Computation</div><br>INTRODUCTION<br><br>An annual award, called the Alonzo Church Award for Outstanding<br>Contributions to Logic and Computation, was established in 2015 by the<br>ACM Special Interest Group for Logic and Computation (SIGLOG), the<br>European Association for Theoretical Computer Science (EATCS), the<br><div>European Association for Computer Science Logic (EACSL), and the </div><div>Kurt Goedel Society (KGS).  The award is for an outstanding contribution</div><div>represented by a paper or by a small group of papers published within</div>the past 25 years.  This time span allows the lasting impact and depth<br>of the contribution to have been established.  The award can be given<br>to an individual, or to a group of individuals who have collaborated<br>on the research.  For the rules governing this award, see<br><a href="https://urldefense.com/v3/__https://siglog.org/alonzo-church-award/__;!!IBzWLUs!TehlM2Ymx_t7GX4aNTEPTyKaENhKEzbKVkryYWkst_0EBNrT4ae3tq0UeifbfckiFNchcsew6MHlYpcDM7eJk_SKUPqTD3MUPNs0MktTlg0$" target="_blank">https://siglog.org/alonzo-church-award/</a>,<br><a href="https://urldefense.com/v3/__https://www.eatcs.org/index.php/church-award/__;!!IBzWLUs!TehlM2Ymx_t7GX4aNTEPTyKaENhKEzbKVkryYWkst_0EBNrT4ae3tq0UeifbfckiFNchcsew6MHlYpcDM7eJk_SKUPqTD3MUPNs0FYduaf4$" target="_blank">https://www.eatcs.org/index.php/church-award/</a>, and <br><a href="https://urldefense.com/v3/__https://www.eacsl.org/alonzo-church-award/__;!!IBzWLUs!TehlM2Ymx_t7GX4aNTEPTyKaENhKEzbKVkryYWkst_0EBNrT4ae3tq0UeifbfckiFNchcsew6MHlYpcDM7eJk_SKUPqTD3MUPNs08OvZoOw$" target="_blank">https://www.eacsl.org/alonzo-church-award/</a>.<br><br><div>The 2023 Alonzo Church Award was jointly to Lars Birkedal, Aleš Bizjak, </div><div>Derek Dreyer, Jacques-Henri Jourdan, Ralf Jung, Robbert Krebbers, Filip </div><div>Sieczkowski, Kasper Svendsen, David Swasey and Aaron Turon for the </div><div>design and implementation of Iris, a higher-order concurrent separation </div><div>logic framework.  <br></div><br>ELIGIBILITY AND NOMINATIONS<br><br>The contribution must have appeared in a paper or papers published within<br>the past 25 years. Thus, for the 2024 award, the cut-off date is January 1,<br>1999. When a paper has appeared in a conference and then in a journal, the<br>date of the journal publication will determine the cut-off date. In<br>addition, the contribution must not yet have received recognition via a<br>major award, such as the Turing Award, the Kanellakis Award, or the Goedel<br>Prize. (The nominee(s) may have received such awards for other<br>contributions.) While the contribution can consist of conference or journal<br>papers, journal papers will be given a preference.<br><br>Nominations for the 2024 award are now being solicited. The nominating<br>letter must summarise the contribution and make the case that it is<br>fundamental and outstanding. The nominating letter can have multiple<br>co-signers. Self-nominations are excluded. Nominations must include: a<br>proposed citation (up to 25 words); a succinct (100-250 words) description<br>of the contribution; and a detailed statement (not exceeding four pages) to<br>justify the nomination. Nominations may also be accompanied by supporting<br>letters and other evidence of worthiness. Nominations for the 2024 award <br>are automatically considered for all future editions of the award, until <br>they receive the award or the nominated papers are no longer eligible.<br><br><div>Nominations should be submitted to <a href="mailto:igor.walukiewicz@gmail.com" target="_blank">igor.walukiewicz@gmail.com</a> by</div><div>March 1, 2024.</div><br>PRESENTATION OF THE AWARD<br><br><div>The 2024 award will be presented at the Thirty-Ninth Annual ACM/IEEE </div><div>Symposium on Logic in Computer Science (LICS) which is scheduled to </div><div>take place in Tallinn, Estonia during 8–12 July 2024. The award will be </div><div>accompanied by an invited lecture by the award winner, or by one of the </div><div>award winners.  The awardee(s) will receive a  certificate and a cash prize </div><div>of USD 2,000.  If there are multiple awardees, this amount will be shared.</div><div class="gmail-yj6qo"></div><div class="gmail-adL"><br></div><div class="gmail-adL"><br></div></div>