THE SUBMISSION PAGE IS NOW CLOSED.

We have extended the submission deadlines as follows:

Abstract and Title:Monday, 26. Jan
Paper Submission:Monday, 2. Feb

Submissions have to be prepared according to Springer's guidelines for the LNAI series, preferrably using LaTeX with the llncs document class. Please do not modify font size, spacing, margins, etc of the llncs document class.

Please submit your paper as a PDF file.

  • Full papers should be at most 15 papges long
  • System descriptions should be at most 5 pages long
  • Position papers may be up to 15 pages long, but will not be published in the LNAI proceedings
  • Tutorial and workshop proposals should be sent directly to the PC chairs by 7 January 2009.

If necessary, your submission may include a technical appendix with detailed proofs in addition to the 15 pages. This appendix will be taken into account by the reviewers, but it will not be published in the proceedings.

Paper submission and reviewing is handled via Easychair. Log in here:

http://www.easychair.org/conferences?conf=tableaux2009

Page last modified on February 05, 2009, at 07:16 AM