Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
IJCAR 2018 - 9th International Joint Conference on Automated Reasoning
Date2018-07-14 - 2018-07-17
Deadline2018-01-29
VenueOxford, UK - United Kingdom 
Keywords
Websitehttps://ijcar2018.org
Topics/Call fo Papers
The 9th International Joint Conference on Automated Reasoning will take place July 14-17, 2018, as part of FLoC 2018 in Oxford, United Kingdom.
Scope
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)
Scope
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)
Other CFPs
- 2018 45th International Symposium on Computer Architecture
- 20th International Conference on Descriptional Complexity of Formal Systems
- World Congress on Education
- 23d International Working Conference on Evaluation and Modelling Methods for Systems Analysis and Development (EMMSAD’18)
- 19th International Working Conference on Business Process Modeling, Development, and Support (BPMDS’18)
Last modified: 2017-08-24 23:14:38