Formatting for proceedings