IJCAR 2020

From Openresearch
Revision as of 09:03, 20 November 2020 by Saskia.Ernert (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
IJCAR 2020
International Joint Conference on Automated Reasoning
Ordinal 10
Event in series IJCAR
Dates 2020/06/29 (iCal) - 2020/07/02
Homepage: https://ijcar2020.org/
Location: Paris, Online
Loading map...

Accepted short papers: 6
Papers: Submitted 196 / Accepted 79 (40.3 %)
General chairs: Kaustuv Chaudhuri
PC chairs: Viorica Sofronie-Stokkermans, Nicolas Peltier
Table of Contents

IJCAR 2020 was held online and was organized together with FSCD 2020 and a series of workshops and related events.

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)