As part of its activities, ACM SIGLOG has two types of relationship with conferences and workshops: sponsorship and in-cooperation.

SIGLOG Sponsored Conferences

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)

24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022)
7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)
Certified Programs and Proofs (CPP 2022)
28th International Conference on Automated Deduction (CADE-28)

6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)
48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021)
23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021)

5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
3rd School on Foundations of Programming and Software Systems (FoPPS 2019)
46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019)
44th International Symposium on Mathematical Foundations of Computer Science (MFCS)
Logic in Computer Science ( LICS 2019)
Certified Programs and Proofs (CPP 2017)
Algebra and Coalgebra in Computer Science (CALCO2017)
Mathematical Foundations of Programming Semantics (MFPSXXXIII)
Workshop on Logic Language Information and Computation (WoLLIC 2017)
International Joint Conference on Rules and Reasoning (RuleML+RR 2017)
Formal Structures for Computation and Deduction (FSCD 2017)
1st Conference Formal Structures for Computation and Deduction (FSCD’16)
6th Conference on Algebra and Coalgebra in Computer Science (CALCO’15)
Mathematical Foundations of Programming Semantics XXXI (MFPS XXXI)