Fwd: [PT] Call for Participation: International Summer School for Proof Theory in First-Order Logic

[Elaine Pimentel]

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

--------------------------------------------------------