Call for Participation International Summer School for Proof Theory in First-order Logic August 22 - 27, 2017 University of Madeira, Funchal, Madeira https://kgs.logic.at/madeira/ The Kurt Goedel Society (https://kgs.logic.at/) is organizing a summer school on Proof Theory in First-Order Logic at the University of Madeira, Funchal, Madeira from August 22 to August 27. The summer school targets master and doctoral students in Logic, Computer Science and Mathematics with a strong interest in Logic and Proof Theory. We particularly encourage students to apply to student lessons in order to present their ongoing research, but the event is open to all interested students. Lecturers: * Matthias Baaz (Vienna): Epsilon Calculus II * Agata Ciabattoni (Vienna): Proof Theory for Non-Classical Logics: Sequent calculi and beyond * Chris Ferm??ller (Vienna): Games and Analytic Proof Systems * Stefan Hetzl (Vienna): Proof Theory of Induction * Reinhard Kahle (Lisbon): Hilbert's Larger Programme * Alexander Leitsch (Vienna): Methods of Cut-Elimination * Georg Moser (Innsbruck): Epsilon Calculus I *Michel Parigot (Paris): Computational Interpretations of Formal Proofs For more information and registration, see https://kgs.logic.at/madeira/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]