Repassando.
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/) is organizing a summer school on Proof Theory in First-Order Logic taking place 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/ -- Elaine. ------------------------------------------------- Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador Salgado Filho, s/nº Lagoa Nova, CEP: 59.078-970 - Natal - RN Phone: +55 84 3215-3820 http://sites.google.com/site/elainepimentel/ Lattes: http://lattes.cnpq.br/3298246411086415 -------------------------------------------------------- -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BViCO3_xSSrt0pvgo%3DfvQNvzAgBrH8_4W46OOaUbskikg%40mail.gmail.com.
