Difference between revisions of "IJCAR 2020"
Jump to navigation
Jump to search
(CSV import) |
|||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=IJCAR 2020 | |Acronym=IJCAR 2020 | ||
| + | |Title=International Joint Conference on Automated Reasoning | ||
| + | |Ordinal=10 | ||
|Series=IJCAR | |Series=IJCAR | ||
| − | | | + | |Type=Conference |
| + | |Start date=2020/06/29 | ||
| + | |End date=2020/07/02 | ||
| + | |Homepage=https://ijcar2020.org/ | ||
|City=Paris | |City=Paris | ||
| − | |Country= | + | |Country=Online |
| − | | | + | |has general chair=Kaustuv Chaudhuri |
| − | | | + | |has program chair=Viorica Sofronie-Stokkermans, Nicolas Peltier |
| − | | | + | |Submitted papers=196 |
| + | |Accepted papers=79 | ||
| + | |Accepted short papers=6 | ||
| + | |has Proceedings Link=https://link.springer.com/book/10.1007/978-3-030-51074-9 | ||
}} | }} | ||
| + | IJCAR 2020 was held online 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 2020|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) | ||
Revision as of 09:03, 20 November 2020
| 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 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)