The ACM Special Interest Group on Logic and Computation (SIGLOG) is a community organization dedicated to the advancement of logic and computation, and formal methods in Computer Science, broadly defined. Read more here.
CACM Research Highlights
The Research Highlights section of the Communications of the ACM aims to provide readers with a collection of outstanding research articles, selected from the broad spectrum of computing-research conferences. Starting this year, SIGLOG is an approved nominating organization for the Research Highlights section. Continue reading.
Newsletter April 2023
Dear SIGLOG Members, This year’s April issue of the SIGLOG Newsletter appeared. In this issue The SIGLOG Chair reports on some important news, relevant to all of us. As her first column, Christel Baier presents a very interesting paper by Bernd Finkbeiner on Logics and Algorithms for Hyperproperties. These are properties whose formulation is given by considering sets of ...
Winner of the 2023 Alonzo Church Award
The 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Lars Birkedal, Aleš Bizjak, Derek Dreyer, Jacques-Henri Jourdan, Ralf Jung, Robbert Krebbers, Filip Sieczkowski, Kasper Svendsen, David Swasey and Aaron Turon for the design and implementation of Iris, a higher-order concurrent separation logic framework.
SIGLOG Sponsored Conferences
- Symposium on Logic in Computer Science (LICS)
SIGLOG In-cooperation Conferences
- 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023).
- PhDs in Logic (XIV edition).
- 29th international Conference on Automated Deduction (CADE-29).
- 7th International Workshop “Women in Logic” (WiL 2023)
- 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023)