Alonzo Church Award for Outstanding Contributions to Logic and Computation 2020 Call for Nominations

SIGLOG is calling for nominations for The Alonzo Church Award, which should be submitted to thomas.eiter@tuwien.ac.at by April 1, 2020. The details of the award and the nomination procedure for this year are described in this post.

Newsletter July 2018

Dear SIGLOG Members, This year’s July issue of the SIGLOG Newsletter appeared. In this issue Howard Straubing presents a revisionist history of connections between first-order logic and aperiodic languages in Mikołaj Bojańczyk’s column on Automata. Neil Immerman’s column on Complexity…

Alonzo Church Award for Outstanding Contributions to Logic and Computation 2019 Call for Nominations

SIGLOG is calling for nominations for The Alonzo Church Award, which should be submitted to shankar@csl.sri.com by March 1, 2019. The details of the award and the nomination procedure for this year are described in this post.