IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops.
Association for Automated Reasoning (AAR)
International Conference on Automated Deduction (CADE)