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 39th International Conference on Software Engineering will convene the top minds in software engineering research, practice and education to discuss the most recent innovations, trends, and experiences. Scheduled keynoters include CACM Editor-in-Chief Moshe Vardi, Executive Director of the Eclipse Foundation Mike Milinkovich, and ACM Fellow Pamela Zave, of AT&T Laboratories-Research and Princeton University.