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.

Virtual Conferences: A Guide to Best Practices

In March 2020 ACM formed a Presidential Task Force (PTF) to help conference organizers transition their events to online. The PTF is working on a guide to offer practical advice and shed light on the largely unfamiliar territory of online conferencing.

The report, available here, includes pointers to a live document with additional resources. We welcome comments, suggestions and experience reports from the community.