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 July 2025
This third issue of 2025 starts with an important letter of the SIGLOG Chair Catuscia Palamidessi describing the situation of SIGLOG and its future. Then, we include a security and privacy column, collected by Steve Kremer and written by Raven Beutner, Arthur Correnson, and Bernd Finkbeiner on the verification of temporal ∀∃-hyperliveness properties, that include ...
Winner of the 2025 Alonzo Church Award
The 2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented to Paul Blain Levy for his fundamental study of effectful λ-calculi through the Call-by-Push-Value calculus. The awardee book and paper are: Paul Blain Levy. Call-By-Push-Value: A Functional/Imperative Synthesis. Semantics Structures in Computation 2, Springer 2004, ISBN 1-4020-1730-8 Paul Blain Levy. Call-by-Push-Value: Decomposing call-by-value and ...
SIGLOG Sponsored Conferences
- Symposium on Logic in Computer Science (LICS)
SIGLOG In-cooperation Conferences
-
- 27th International Symposium on Principles and Practice of Declarative Programming (PPDP 2025).
- 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024).
- 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024).
- 9th Logic Mentoring Workshop (LMW 2023).
- 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)