Automated Deduction – CADE 27 - Fontaine (Springer International Publishing, 2019)