News

The Gödel Prize, jointly awarded by ACM SIGACT and the European Association for Theoretical Computer Science, celebrates outstanding research in theoretical computer science. Named after logician Kurt ...