As part of its activities, ACM SIGLOG has two types of relationship with conferences and workshops: sponsorship and in-cooperation.
Sponsored
In-cooperation
Present
- 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)
Past
Upcoming conferences and deadlines are displayed in the calendar below.