= International Joint Conference on Automated Reasoning
{wiki=International_Joint_Conference_on_Automated_Reasoning}
The International Joint Conference on Automated Reasoning (IJCAR) is a major conference that focuses on research in the field of automated reasoning. Automated reasoning involves the use of algorithms and software to perform logical reasoning, which is a core aspect of artificial intelligence, computer science, and formal methods. IJCAR typically features a wide range of topics related to automated theorem proving, logic, and verification.
Back to article page