Difference between revisions of "IJCAR 2020"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
|||
| (One intermediate revision by one other user not shown) | |||
| Line 16: | Line 16: | ||
|Accepted short papers=6 | |Accepted short papers=6 | ||
|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=Soeren | ||
| + | |pageEditor=Saskia.Ernert | ||
| + | |contributionType=1 | ||
}} | }} | ||
| − | IJCAR 2020 was held online 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. |
IJCAR 2020 is the merger of the following leading events in automated reasoning: | IJCAR 2020 is the merger of the following leading events in automated reasoning: | ||
Latest revision as of 20:08, 1 April 2022
| 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)