The International Joint Conference on Automated Reasoning (IJCAR) is the premier international joint conference on all topics in automated reasoning, including foundations, implementations, and applications.
IJCAR usually takes place every two years and is usually part of FLoC (Federated Logic Conference) whenever it takes place.

EurAI has sponsored two editions of the International Joint Conference on Automated Reasoning (IJCAR):

• 9th IJCAR (2018, Oxford - UK)
• 10th IJCAR (2020, online)

> CLICK HERE to see other Conferences sponsored by EurAI <