Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

fmcad11 [2011/08/24 15:09]
vkuncak
fmcad11 [2011/08/25 00:28] (current)
vkuncak
Line 44: Line 44:
  
 Do **not** use the compsoc option of the style--this will increase font size substantially. Do **not** use the compsoc option of the style--this will increase font size substantially.
 +
 +Please remove all page numbers and other footers and headers. We need this space to insert the proceedings page numbers.
  
 Please also make sure that you use the '​letter'​ page size. If you produce your final document through a sequence of transformations (such as latex), you may need to check that various tools in this chain are all set up to use the right page size. Please also make sure that you use the '​letter'​ page size. If you produce your final document through a sequence of transformations (such as latex), you may need to check that various tools in this chain are all set up to use the right page size.
 
fmcad11.txt · Last modified: 2011/08/25 00:28 by vkuncak
 
© EPFL 2018 - Legal notice