"Optimization" is added to the list of topics.
The 2009 Call requires full proofs in the papers with no promise those proofs will be looked at.
Authors are expected to include full proofs of the central claims in the paper. If necessary, these proofs may appear in a clearly marked appendix. However, any material not included in the body may be ignored at the discretion of the Program Committee.I have nothing against full proofs but I hope authors still worry more about giving the right intuition in their submissions than about dotting every i.
The Call also asks for a brief description due a week after the submission deadline.
The brief description should be no more than two pages, using the same font size, margins and spacing as the extended abstract. It should contain an informal description of the paper. It may contain an overview of the main results, concepts, or ideas introduced in the paper. It should provide the same understanding conveyed in a brief conversation or presentation. It may replicate material from the extended abstract, or even be a copy of its first two pages. But, it must not contain any technical material not present in the extended abstract.This one puzzled me so I asked Dan about it.
It will have a few uses:So the Call asks for both details and essence. Interesting.
We will soon produce and post examples of what we have in mind.
- To make it easier for us to get more opinions about the contribution of a paper.
- To make it easy for committee members to get a feel for papers they have not been assigned.
- Ideally, to reveal the essence of a paper, unencumbered by the need for formal presentation.