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.


Visit website

Join an ACM SIG

Network with like-minded professionals and enjoy unique opportunities to share technical expertise and first-hand knowledge of the latest trends.

AAAI/ACM Conference on AI, Ethics, and Society, February 2 to 3, New Orleans, Louisiana

The ACM Special Interest Group on Artificial Intelligence (SIGAI) and AAAI are launching AIES 2018, a new conference to be co-located with AAAI-18. As AI becomes more pervasive in everyday life, its impact on society is raising concerns about issues such as value alignment, data handling and bias, regulations, and workforce displacement. AIES will tap experts from various disciplines, such as ethics, philosophy, economics, sociology, psychology, law, history, and politics, to address these issues.