IJCAR 2020: Difference between revisions

Revision as of 08: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
Loading map...

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:

@@ Line 1: / Line 1: @@
 {{Event
 |Acronym=IJCAR 2020
+|Title=International Joint Conference on Automated Reasoning
+|Ordinal=10
 |Series=IJCAR
-|Title=International Joint Conference on Automated Reasoning
+|Type=Conference
+|Start date=2020/06/29
+|End date=2020/07/02
+|Homepage=https://ijcar2020.org/
 |City=Paris
-|Country=France
+|Country=Online
-|End date=02.07.2020
+|has general chair=Kaustuv Chaudhuri
-|Start date=29.06.2020
+|has program chair=Viorica Sofronie-Stokkermans, Nicolas Peltier
-|Homepage=https://ijcar2020.org/
+|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)