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.

MICRO 2019, October 12 to 16, Columbus, Ohio

The 52nd IEEE/ACM International Symposium on Microarchitecture is the premier forum for presenting, discussing, and debating innovative microarchitecture ideas and techniques for advanced computing and communication systems. Several sessions will address machine learning. Krste Asanovic (University of California, Berkeley), Bill Dally (Stanford University), and Lynn Conway (University of Michigan) will keynote.

SPLASH 2019, October 20 to 25, Athens, Greece

The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. The Rebase track will feature speakers of interest to software practitioners and researchers. Scheduled keynote speakers are Michael Lippautz (Google) and Anastasia Mavrommati (Mathworks).