The conference proceedings will be published by IEEE.
They have formatting guidelines and templates available via the WWW at
Papers are due to IEEE no later than June 13th (this is a firm deadline).
On or (most likely much) before June 10th authors will receive an "author kit"
directly from IEEE.
For any questions about the final version paper, contact the proceedings
editor David Hansen (email@example.com).