  These are the post-proceedings of the second ARCADE workshop, which took
place on the 26th August 2019 in Natal, Brazil, colocated with CADE-27. ARCADE
stands for Automated Reasoning: Challenges, Applications, Directions, Exemplary
achievements. The goal of this workshop was to bring together key people from
various sub-communities of automated reasoning--such as SAT/SMT, resolution,
tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set
theory), interactive theorem proving---to discuss the present, past, and future
of the field.
