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 | Programme

Utrecht Autumn Workshop Proof Theory

Utrecht Autumn Workshop Proof Theory

Programme

Please download the programme here, the book of abstracts here and the location schedule here.

Given that these files may be updated in the future, you are advised to refer to the latest versions as published on this page.