22-27 Aug 2017
Madeira, Portugal
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 Gödel Society (https://kgs.logic.at/) will host 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. The school will feature the following lectures: * 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/ -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam