## Home

The First International Workshop **Proof Theory for Automated Deduction, Automated Deduction for Proof Theory** is organized by the Kurt GĂ¶del Society and will take place from October 23 -- October 25 2019 in Funchal, Madeira.

The aim of this workshop is to bring together international and Portuguese logicians, mathematicians and computer scientists. Moreover, with this workshop we intend to further strenghten the ties between proof theorists and researchers from the area of automated deduction and believe that it will have a positive impact on future research in both fields.

**Proof Theory for Automated Deduction, Automated Deduction for Proof Theory**

**Dates: October 23 -- October 25 2019**

**Place: Funchal, Madeira**