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 2022 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Dexter Kozen for for his fundamental work on developing the theory and applications of Kleene Algebra with Tests, an equational system for reasoning about iterative programs.