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 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to
Rajeev Alur and David Dill for their invention of timed automata, a decidable model of real-time systems, which combines a novel, elegant, deep theory with widespread practical impact. Further details are available here.