As part of its activities, ACM SIGLOG has two types of relationship with conferences and workshops: sponsorship and in-cooperation.
Sponsored
In-cooperation
Present
- 44th International Symposium on Mathematical Foundations of Computer Science (MFCS)
- Logic in Computer Science (LICS) 2019
Past
- 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)
Upcoming conferences and deadlines are displayed in the calendar below.