(mobo import Concept___Event_For_Confident-migrated) |
m (Text replacement - "[ \s]User:Curator 83" to " Ch") |
||
| Line 7: | Line 7: | ||
|City=Paris | |City=Paris | ||
|Country=Online | |Country=Online | ||
| − | |has general chair=Kaustuv | + | |has general chair=Kaustuv Chaudhuri |
|has program chair=Viorica Sofronie-Stokkermans, Nicolas Peltier | |has program chair=Viorica Sofronie-Stokkermans, Nicolas Peltier | ||
|Submitted papers=196 | |Submitted papers=196 | ||
Revision as of 12:40, 7 July 2022
The document "IJCAR 2020" was published on "2022-10-19T14:09:43" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:IJCAR 2020.
The document "IJCAR 2020" describes an event in the sense of a conference.
The document "IJCAR 2020" contains information about the event "IJCAR 2020" with start date "2020/06/29" and end date "2020/07/02".
The event "IJCAR 2020" is part of the event series identified by [[Event Series:IJCAR]]
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)
