Search a Conference through our dedicated search page
IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops.IJCAR — International Joint Conference on Automated Reasoning
