Utrecht Autumn Workshop Proof Theory

Submissions

You may submit your proposals for contributed talks to the conference management system EasyChair. The length of your abstract should not exceed two pages.

Please upload your abstract as a PDF. After submission, authors of accepted manuscripts will be required to provide a tex file, using the template that can be downloaded here, so that we can compile a book of abstracts. Authors are encouraged to already use this template at the time of submission.

Please be aware of the following deadlines related to proposal submissions:

  • Opening of registration for Autumn School and Workshop and submission of contributed workshop talks on 15 July 2022.
  • Deadline of submission for contributed workshop talks on 5 September 2022 10 September 2022.
  • Notification of acceptance of contributed talks on 20 September 2022.