The KGS organizes a workshop Proof Theory for Automated Deduction - Automated Deduction for Proof Theory in Funchal, Madeira in October 2019. The aim of this workshop is to bring together international and Portuguese logicians, mathematicians and computer scientists. For more information please visit https://kgs.logic.at/madeira2019/.