Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the koko-analytics domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /hum/web/sitestest.hum.uu.nl/htdocs/wp-includes/functions.php on line 6114

Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the formidable domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /hum/web/sitestest.hum.uu.nl/htdocs/wp-includes/functions.php on line 6114
Utrecht Autumn Workshop Proof Theory | Submissions

Utrecht Autumn Workshop Proof Theory

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.