CALL FOR NOMINATIONS
The 2024 Alonzo Church Award for Outstanding Contributions to Logic and
Computation
INTRODUCTION
An annual award, called the Alonzo Church Award for Outstanding
Contributions to Logic and Computation, was established in 2015 by the
ACM Special Interest Group for Logic and C
CALL FOR NOMINATIONS
*Deadline in less than one month*
The 2024 Alonzo Church Award for Outstanding Contributions to Logic and
Computation
INTRODUCTION
An annual award, called the Alonzo Church Award for Outstanding Contributions to
Logic and Computation, was established in 2015 by the ACM Spe