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 6114formidable 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
Practical questions
For practical matters, you can get in touch with us via uawspt@uu.nl.
Content questions
For questions regarding the content of the School and Workshop on Proof Theory, you can send a mail to r.a.martinot@uu.nl or r.jalalikeshavarz@uu.nl.
Programme committee
To get in touch with the programme committee, you can send an email to tps2022-illc@uva.nl .
