Difference between revisions of "IJCAR 2020"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (pushed from or by wikipush) |
Tim Holzheim (talk | contribs) (edited by wikiedit) |
||
| Line 4: | Line 4: | ||
|Ordinal=10 | |Ordinal=10 | ||
|Series=IJCAR | |Series=IJCAR | ||
| − | | | + | |Event type=Conference |
|Start date=2020/06/29 | |Start date=2020/06/29 | ||
|End date=2020/07/02 | |End date=2020/07/02 | ||
Latest revision as of 11:01, 8 March 2021
| IJCAR 2020 | |
|---|---|
International Joint Conference on Automated Reasoning
| |
| Ordinal | 10 |
| Event in series | IJCAR |
| Dates | 2020/06/29 (iCal) - 2020/07/02 |
| Homepage: | https://ijcar2020.org/ |
| Location | |
| Location: | Paris, Online |
| Accepted short papers: | 6 |
| Papers: | Submitted 196 / Accepted 79 (40.3 %) |
| Committees | |
| General chairs: | Kaustuv Chaudhuri |
| PC chairs: | Viorica Sofronie-Stokkermans, Nicolas Peltier |
| Table of Contents | |
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)