Proof Theory Workshop at UNILOG'2018 organized by
Peter SchroederHeister and
Thomas Piecha Proof theory is one of the core disciplines of mathematical and philosophical logic that needs no further explanation or advertising.

Keynote Speakers
Call for papers We invite contributions on all aspects of proof theory, philosophical or technical. Topics include:
Abstracts (one page) should be sent by October 5, 2017 via email to: cfpprooftheory@informatik.unituebingen.de Back to the 6th Universal Logic Congress 