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.

ACM FAT* 2020, January 27-30, Barcelona, Spain

The ACM Conference on Fairness, Accountability and Transparency brings together researchers and practitioners interested in fairness, accountability, ethics, and transparency in socio-technical systems. Scheduled keynote speakers are Ayanna Howard (Georgia Institute of Technology), Yochai Benkler (Harvard University) and Nani Jansen Reventlow (Digital Freedom Fund, Columbia Law School).

POPL 2020, January 19 to 25, New Orleans, Louisiana

The ACM SIGPLAN Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Co-hosted conferences, workshops and symposia will cover topics such as Certified Programs and Proofs; Programming Languages for Quantum Computing; and Practical Aspects of Declarative Languages. Delivering keynotes will be Casper Bach Poulsen (Delft University of Technology), Zhenjiang Hu (Peking University), Xinyu Feng (Nanjing University), Chantal Keller (LRI, Université Paris-Sud) and Kathrin Stark (Saarland University).