Difference between revisions of "IJCAR 2020"

From Openresearch
Jump to: navigation, search
 
Line 17: Line 17:
 
|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
 
}}
 
}}
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 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
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


The following coordinate was not recognized: Geocoding failed.
The following coordinate was not recognized: Geocoding failed.


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)