Final Version Upload (until 21.07.2015)

• Proceedings will be published in the Springer LNAI series, volume number will be 9323.
• Please print the consent to publish form, sign it, scan it, and upload it with your paper. At least one of the corresponding authors must sign.

  Title of book or conference name is `Proceedings of TABLEAUX 2015, LNAI 9323'. Volume editor is `Hans de Nivelle'.

  Note that the 3d option on the form should be ticked only if you work for a EU organization, not if you happen to work at a university inside of EU. The same applies to the first option. You should only tick this if you work for the US government, not if you accidentily work at a university in the US.

• Full papers have a maximal page length of 16 pages. System descriptions have a maximal page limit of 10 pages. This limit is strict!
• Please use LaTeX2e when preparing the final versions, following the instructions by Springer, and use the llncs2e style files, provided by Springer.
• Please zip all necessary files into a single .zip file, and upload this file into CoCon. Make sure that all files, needed to compile, are present in the .zip file. Check that no external files are included. Also make sure that the .pdf file of your paper is present in the .zip file. Don't forget to include the signed consent-to-publish form! Note that CoCon does currently not support other forms of compression. (than .zip)
• If you encounter any problems, please mail to this address.