Submissions are invited in three categories:
(A) research papers reporting original theoretical research or applications, with length up to 15 pages excluding references,
(B) system descriptions, with length up to 9 pages excluding references,
(C) position papers and brief reports on work in progress, with length up to 9 pages excluding references.
Note again: The above page limits do not include the references. Moreover, any additional material can be added in a clearly marked appendix, which will be read at the discretion of the committee and must be removed for the camera-ready version.
For category A submissions, the reported results must be original and not submitted for publication elsewhere. For category B submissions, a working implementation must be accessible via the internet. Authors are encouraged to publish the implementation under an open source license. The aim of a system description is to make the system available in such a way that people can use it, understand it, and build on it. Accepted papers in categories A and B will be published in the conference proceedings. Accepted papers in category C will be published as a Technical Report of the Middlesex University London.
Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system: http://easychair.org/conferences/?conf=tableaux2019
For all accepted papers at least one author is required to attend the conference and present the paper. A title and a short abstract of about 100 words must be submitted before the paper submission deadline. Formatting instructions and the LNCS style files can be obtained at http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines
The conference proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS).