IJCAR 2020

From OPENRESEARCH i5 copy Wiki
Revision as of 18:11, 13 January 2021 by Wf (talk | contribs) (pushed from or by wikipush)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
Event
Name Value
isA Event
Acronym IJCAR 2020
Title International Joint Conference on Automated Reasoning
Start date 2020/06/29
End date 2020/07/02
Homepage https://ijcar2020.org/
... ...

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)
Retrieved from "https://confident.dbis.rwth-aachen.de/ori5/index.php?title=IJCAR_2020&oldid=5694"