2018 Summer School on Proof Theory

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.

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.