Proof Theory

Workshop at UNILOG'2018 organized by

Peter Schroeder-Heister
(University of Tübingen, Germany)


Thomas Piecha
(University of Tübingen, Germany)

Proof theory is one of the core disciplines of mathematical and philosophical logic that needs no further explanation or advertising.


Keynote Speakers

Francesca Poggiolesi - Alexander Leitsch
CNRS, Paris - Technical University of Vienna, Austria

Call for papers

We invite contributions on all aspects of proof theory, philosophical or technical. Topics include:

  • general proof theory
  • categorial proof theory
  • type theory (including foundations)
  • computational aspects of proofs
  • consistency
  • proof systems for non-classical logics
  • proof editing
  • ordinal analysis
  • structural and substructural proof theory
  • proof-theoretic treatment of paradoxes
  • historical aspects of proof theory
  • proof-theoretic semantics

Abstracts (one page) should be sent by October 5, 2017 via e-mail to: 

Back to the 6th Universal Logic Congress