Non-classical Mathematics, 18-22 June