Arché Audit

This week we’ve had the audit process for all the projects except Foundations of Logical Consequence. In practice it ends up like a mini-conference with talks from the auditors and post-docs. I think it’s a very good idea to have this process whereby people from outside cast a critical eye over what we’re doing. It’s nice to hear people from other projects speak as well.