The International Summer School for Proof Theory in First-Order Logic in Funchal, Madeira is organized by the Kurt Gödel Society and co-organized by the research projects ANR-15-CE25-0014 and FWF I-2671-N35.

It will take place at the University of Madeira from 22.-27.08.2017. The aim of this summer school is to bring together international and Portuguese logicians, mathematicians and computer scientists. Its intended participants are besides the lecturers students of of the subjects mathematics and computer science at Masters or PhD level. Students are invited to apply with an informal abstract (1 page) to student lessons.