ACM Special Interest Group on Logic and Computation

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 2024

Welcome everybody to the second issue of 2024! Spring is usually the time of the year where most of us work to submit (or receive feedback on) papers to the forthcoming summer conferences, where hopefully many SIGLOG members will meet and discuss in person. In the meanwhile, I hope that you will enjoy reading this ... 

25 April 2024

Winner of the 2024 Alonzo Church Award

The 2024 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented jointly to Thomas Ehrhard and Laurent Regnier for giving a logical and computational account of differentiation, bringing Taylor expansion to the Curry-Howard correspondence, which had a major impact on programming language semantics. The awarded papers are: Thomas Ehrhard. Finiteness spaces. In: Mathematical Structures ... 

6 June 2024

SIGLOG Sponsored Conferences

  • Symposium on Logic in Computer Science (LICS)

SIGLOG In-cooperation Conferences

    • 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)