First International Summer School for Proof Theory in First-Order Logic in Funchal, Madeira, 2017

The KGS organizes the first International Summer School for Proof Theory in First-Order Logic in Madeira. The summer school will take place in Funchal from 21.08.2017 to 26.08.2017 and will bring courses to various topics to students. Please visit the web site of the summer school for more information: https://kgs.logic.at/madeira/