(mobo import Concept___Events-migrated) |
m (Text replacement - "Homepage=" to "Official Website=") |
||
| (3 intermediate revisions by the same user not shown) | |||
| Line 4: | Line 4: | ||
|Ordinal=10 | |Ordinal=10 | ||
|Type=Conference | |Type=Conference | ||
| − | | | + | |Official Website=https://ijcar2020.org/ |
|City=Paris | |City=Paris | ||
| − | |||
|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 | ||
| − | |||
| − | |||
| − | |||
|has Proceedings Link=https://link.springer.com/book/10.1007/978-3-030-51074-9 | |has Proceedings Link=https://link.springer.com/book/10.1007/978-3-030-51074-9 | ||
|pageCreator=User:Curator 89 | |pageCreator=User:Curator 89 | ||
| Line 21: | Line 17: | ||
|End Date=2020/07/02 | |End Date=2020/07/02 | ||
|Event Status=as scheduled | |Event Status=as scheduled | ||
| − | |Event Mode= | + | |Event Mode=online |
}} | }} | ||
| + | {{Event Deadline}} | ||
| + | {{Event Metric | ||
| + | |Number Of Submitted Papers=196 | ||
| + | |Number Of Accepted Papers=79 | ||
| + | |Number Of Accepted Short Papers=6 | ||
| + | }} | ||
| + | {{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. | ||
Latest revision as of 14:09, 19 October 2022
Deadlines
Metrics
Submitted Papers
196
Accepted Papers
79
Accepted Short Papers
6
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)
