IJCAR: International Joint Conference on Automated Reasoning 2025 2024 2023 ...

IJCAR: International Joint Conference on Automated Reasoning

Past: Proceedings on DBLP

Future: Post a CFP for 2025 or later | Invite the Organizers

All CFPs on WikiCFP

Event	When	Where	Deadline
IJCAR 2024	International Joint Conference on Automated Reasoning
	Jul 1, 2024 - Jul 6, 2024	Nancy, France	TBD
IJCAR 2020	10th International Joint Conference on Automated Reasoning
	Jun 29, 2020 - Jul 5, 2020	Paris, France	Jan 23, 2020 (Jan 16, 2020)
IJCAR 2018	9th International Joint Conference on Automated Reasoning
	Jul 14, 2018 - Jul 17, 2018	Oxford, United Kingdom	Jan 29, 2018 (Jan 22, 2018)
IJCAR 2014	International Joint Conference on Automated Reasoning (IJCAR)
	Jul 19, 2014 - Jul 22, 2014	Vienna, Austria	Jan 22, 2014 (Jan 15, 2014)
IJCAR 2010	International Joint Conference on Automated Reasoning
	Jul 16, 2010 - Jul 19, 2010	Edinburgh, United Kingdom	Jan 22, 2010 (Jan 15, 2010)

Present CFP : 2024

International Joint Conference on Automated Reasoning
IJCAR 2024 will be organized at the Inria Nancy research center and LORIA in Nancy, France, from July 1 to July 6, 2024.

Important Dates

Abstract submission: TBA
Paper submission: TBA
Notification: TBA
Camera-ready version: TBA
Co-located events: July 1-2, 2024
Conference: July 3-6, 2024
Call for papers
Posted on July 13, 2023 | IJCAR 2024

IJCAR is the premier international joint conference on all aspects of automated reasoning. IJCAR 2024 is the 12th edition of IJCAR. It will be held in Nancy (France), during July 1-6, 2024. IJCAR 2024 is the merger conference of the following leading events in automated reasoning: CADE (Conference on Automated Deduction) FroCoS (Symposium on Frontiers of Combining Systems) TABLEAUX (Conference on Analytic Tableaux and Related Methods) Submission Guidelines IJCAR 2024 invites submissions related to all aspects of automated orinteractive reasoning, including foundations, implementations, and applications.

Related Resources

ICMLSC 2025 9th International Conference on Machine Learning and Soft Computing

RuleML+RR 2024 The 8th International Joint Conference on Rules and Reasoning

LANMR 2024 The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning

IJCAI 2025 International Joint Conferences on Artificial Intelligence

ICoSR 2025 2025 4th International Conference on Service Robotics

IJCNN 2025 International Joint Conference on Neural Networks

IDEAL 2024 Intelligent Data Engineering and Automated Learning

JCRAI 2025 2025 5th International Joint Conference on Robotics and Artificial Intelligence

UR@FLAIRS 2025 Special Track on Uncertain Reasoning at FLAIRS-38

CoEEE 2025 2025 5th International Joint Conference on Energy and Environmental Engineering (CoEEE 2025)