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
Proof Theory in Logic (1-2 July 2019) | Contact

Proof Theory in Logic (1-2 July 2019)

Proof Theory in Logic (1-2 July 2019)

Contact

Any questions about the workshop can be asked to one of the organizers.

Rosalie Iemhoff – r.iemhoff@uu.nl
Iris van der Giessen – i.vandergiessen@uu.nl
Sam van Gool – samvangool@me.com