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).

SIGLOG is calling for nominations for The Alonzo Church Award, which should be submitted to rjagadee at by April 2, 2022. The details of the award and the nomination procedure for this year are described in this post.

Continue reading...