Call for Participation: International Summer School for Proof Theory in First-order Logic

Call for Participation: International Summer School for Proof Theory in First-order Logic

[Anela Lolic]

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/ ]