IJCAR 2018: 9th International Joint Conference on Automated Reasoning (Event)

Description

IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2018 is part of the Federated Logic Conference and is the merger of 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) IJCAR 2018 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited.

Period	14 Jul 2018 → 17 Jul 2018
Event title	IJCAR 2018: 9th International Joint Conference on Automated Reasoning
Event type	Other
Location	United KingdomShow on map