The *1st International Summer School on Proof Theory* is arranged under the auspices of *The Proof Society* and will take place from September 2-5, 2018 in Ghent. The focus of the first edition will be on structural proof theory, ordinal analysis, provability logic, and automated theorem proving. The intended audience is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy. In addition there will be a poster session for students.
More information and registration details can be found here.

]]>