ACM SIGLOG presents the following awards on an annual basis to recognize service and achievements in the logic and formal methods community. Details about the nomination process for a particular award can be found on the specific award web page.
LICS Test-of-time award
The LICS Test-of-Time Award recognizes a small number of papers from the LICS proceedings from 20 years prior (i.e., papers from LICS 1986 – the first LICS conference – were considered in 2006) that have best met the “test of time”.
The Alonzo Church Award for Outstanding Contributions to Logic and Computation
The Alonzo Church Award is for an outstanding contribution represented by a paper or small group of papers within the past 25 years. It is awarded jointly with the European Association for Theoretical Computer Science (EATCS) and the European Association for Computer Science Logic (EACSL).
The 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Lars Birkedal, Aleš Bizjak, Derek Dreyer, Jacques-Henri Jourdan, Ralf Jung, Robbert Krebbers, Filip Sieczkowski, Kasper Svendsen, David Swasey and Aaron Turon for the design and implementation of Iris, a higher-order concurrent separation logic framework.