[Hol-info] 2021 Alonzo Church Award

2021-03-07 Thread Javier Esparza
* * DEADLINE EXTENDED TO APRIL 1 * *

[Hol-info] 2021 Alonzo Church Award - Call for Nominations

2021-01-12 Thread Javier Esparza
CALL FOR NOMINATIONS The 2021 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 an