The organizing and steering committees of IJCAR and FSCD have decided that the 2020 edition of both the conferences will become virtual and will be held at a distance. The proceedings of both IJCAR and FSCD will be published as usual. We are also working with workshop organizers in order to virtualize satellite events too. More details on the modalities of this virtualization will be published ASAP.
The International Joint Conference on Automated Reasoning (IJCAR) is the premier international joint conference on all topics in automated reasoning. The IJCAR 2020 technical program will consist of presentations of high-quality original research papers, short papers describing interesting work in progress, system descriptions, and invited talks.
IJCAR 2020 is the 10th edition of IJCAR. It will be held in Paris (France), and will be co-located with FSCD 2020 and a number of workshops and associated events.
More information on the IJCAR-FSCD 2020 joint meeting website.
IJCAR 2020 is the merger of the following leading events in automated reasoning:
- CADE (Conference on Automated Deduction)
- FroCoS (Symposium on Frontiers of Combining Systems)
- ITP (International Conference on Interactive Theorem Proving)
- TABLEAUX (Conference on Analytic Tableaux and Related Methods)
The Call for Papers can be downloaded in plain text format.
Proceedings will be published by Springer in the LNAI subseries of LNCS. Previous IJCAR proceedings are available here.
