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.
ACM SIGKDD announced seven recipients for its inaugural KDD Impact Program, which aims to fund projects that have the potential for maximum impact on society. The proposals covered training data scientists; a hackathon; use of algorithms by government; women data science leaders; a summer school for high school students; data science for social good; and promoting community understanding of Big Data.
The flagship annual conference of the ACM Special Interest Group on Data Communication focuses on the applications, technologies, architectures, and protocols in the computer communication field. Workshops will cover IoT, Big Data analytics, mobile edge communications, and more. Jennifer Rexford (Princeton University), 2016 Athena Lecturer and 2004 Hopper Award recipient, will keynote.