Workshop on Proof Theory Utrecht, November 11-12, 2022

4th International Workshop on Proof Theory


Utrecht, November 11-12, 2022


The 4th Workshop on Proof Theory in Utrecht is arranged under the auspices of The Proof Society, and is sponsored by the Dutch Research Council, Universities of Amsterdam and Utrecht, and the Kurt Gödel Society. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The workshop will bring together researchers on proof theory and its applications through a series of invited and contributed talks, aiming to fulfil the mission of The Proof Society

To support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating it most important goals; to actively promote proof to increase its visibility and representation.

The focus of the fourth edition will be proof theory of modal logic, computational content of proofs, proof complexity, proof theory of set theory, and philosophical aspects of proof. Other areas such as constructivism and reverse mathematics will be represented through research talks at the following workshop. The intended audience is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy.

The workshop is co-located with the 4th International Autumn School for Proof Theory which will take place on November 7-10 in Utrecht. We invite proposals for contributed talks at the workshop. These can be on published or unpublished work, as well as work in progress. Best talk presented by a student will receive an award from The Proof Society.

List of Speakers:

  • Benno van den Berg (University of Amsterdam)
  • Marta Bilkova (Czech Academy of Sciences)
  • Sebastian Enqvist (Stockholm University)
  • Stefan Hetzl (TU Wien)
  • Hajime Ishihara (Japan Advanced Institute of Science and Technology)
  • Gerhard Jäger (University of Bern)

More information will be announced soon.


Venue

Utrecht University
Janskerkhof 3
3512 BK Utrecht