(mobo import Concept___Fix_Online_Events-migrated) |
(mobo import Concept___Events-migrated) |
||
Line 22: | Line 22: | ||
|Event Mode=online | |Event Mode=online | ||
}} | }} | ||
+ | {{Event Deadline}} | ||
+ | {{S Event}} | ||
IJCAR 2020 was held online and was organized together with FSCD 2020 and a series of workshops and related events. | IJCAR 2020 was held online and was organized together with FSCD 2020 and a series of workshops and related events. | ||
Revision as of 20:11, 22 September 2022
Deadlines
Venue
Paris
Warning: Venue is missing. The map might not show the exact location.
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)