Universiteit van Amsterdam


Institute for Logic, Language and Computation

22 - 27 August 2017, International Summer School for Proof Theory in First-order Logic, Funchal, Madeira, Portugal

Date: 22 - 27 August 2017
Location: Madeira, Portugal

The Kurt Gödel Society 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.

For more information, see https://kgs.logic.at/madeira/.