Formatting for submission in the proceedings