m (Text replacement - "[ \s]User:Curator 83" to " Ch") |
(mobo import Concept___Events-migrated) |
||
| Line 6: | Line 6: | ||
|Homepage=https://ijcar2020.org/ | |Homepage=https://ijcar2020.org/ | ||
|City=Paris | |City=Paris | ||
| − | |Country=Online | + | |Country=Country:Online |
|has general chair=Kaustuv Chaudhuri | |has general chair=Kaustuv Chaudhuri | ||
|has program chair=Viorica Sofronie-Stokkermans, Nicolas Peltier | |has program chair=Viorica Sofronie-Stokkermans, Nicolas Peltier | ||
| Line 20: | Line 20: | ||
|Start Date=2020/06/29 | |Start Date=2020/06/29 | ||
|End Date=2020/07/02 | |End Date=2020/07/02 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
}} | }} | ||
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 14:30, 6 September 2022
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)
