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.

SIGIR 2017, August 7 to 11, Tokyo, Japan

The 40th International ACM SIGIR Conference on Research and Development in Information Retrieval will feature keynotes by Yahoo VP of Research and ACM Fellow Yoelle Maarek, and Professor Emeritus at City University of London and ACM Fellow Stephen Robertson. The conference will explore aspects of IR including Evaluation, Retrieval Models and Ranking, Document Representation and Content Analysis, Search Interaction, Filtering and Recommending, and more.