master:  tweak Proceedings format algorithm