SIGLOG - Logic and Computation
SIGLOG Alonzo Church Award
Awarded annually for an outstanding paper (or collection of papers) in the area of logic and computation that appeared in a journal during the previous twenty years. The award includes a prize of $2,000. Sponsored jointly with the European Association for Computer Science Logic (EACSL), the European Association for Theoretical Computer Science (EATCS) and the Kurt Gödel Society. Presented alternately at LICS,ICALP and CSL.
The 49th ACM Symposium on the Theory of Computing will be part of a five-day Theory Fest with an expanded program of STOC papers, poster sessions, and a broad cross-section of invited talks, workshops and tutorials. Keynote speakers are Avi Wigderson (Princeton University) and Orna Kupferman (The Hebrew University). The Knuth Prize Lecture will also be delivered.