(mobo import Concept___Events-migrated) |
(mobo import Concept___Events_With_Metrics-migrated) |
||
| Line 8: | Line 8: | ||
|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 23: | Line 20: | ||
}} | }} | ||
{{Event Deadline}} | {{Event Deadline}} | ||
| + | {{Event Metric | ||
| + | |Number Of Submitted Papers=196 | ||
| + | |Number Of Accepted Papers=79 | ||
| + | |Number Of Accepted Short Papers=6 | ||
| + | }} | ||
{{S Event}} | {{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 13:57, 18 October 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]]
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)
