Please note that this newsitem has been archived, and may contain outdated information or links.
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/.
Please note that this newsitem has been archived, and may contain outdated information or links.