Call for Gödel prize nominations (guest post by David Zuckerman and Samson Abramsky)

We’d like to encourage everyone to nominate outstanding papers in any area of theoretical computer science for the 2022 Gödel Prize.

In short, papers that first appeared since 2009 (in any form) and appeared in a refereed journal by 2021 are eligible. If you wish to nominate a paper, or might wish to do so, or if you want to suggest a paper informally, please contact the award committee chair, Samson Abramsky (s.abramsky@ucl.ac.uk). The deadline is February 28, 2022, but please contact the chair well in advance to coordinate efforts. For details, see https://sigact.org/prizes/g%C3%B6del.html