As part of its activities, ACM SIGLOG has two types of relationship with conferences and workshops: sponsorship and in-cooperation.
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)
Previous editions
2022
- 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)
2021
- 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)
2020 and before
- 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)