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
During the Utrecht Autumn Workshop Proof Theory, various social and public events take place. Please refer to those listed in the table below.
| Event | Day & Time | Location |
| Welcome Reception | Tuesday 17:30 | Academiegebouw Room 1636 |
| TPS Annual General Meeting | Thursday 16:00 | Janskerkhof 2-3 Room 0.13 |
| Dinner | Friday 19:30 | Humphrey’s Restaurant |
| Best Student Award Ceremony | Saturday 17:15 | Janskerkhof 2-3 0.13 |
