4th Int. Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2016)

July 18, 2016 — Seoul, South Korea

(co-located with CIAA 2016)

Invited speaker TopicsSubmissionImportant datesProgram committeeVenue


Tree automata and tree transducers have recently received increased attention due to their applications in verification, natural language processing, and XML. The workshop provides an opportunity for researchers and practitioners from the different areas to discuss recent developments and ideas. The workshop also welcomes participants working on string automata and string transducers.


Invited speaker


Topics

We encourage contributions from the following areas.
Contributions outside these areas will be given due consideration.

  • string and tree automata
  • string and tree transducers
  • extensions of those classical models
  • relations to other formalisms
  • applications of those formalisms

Submission

We invite all authors to submit extended abstracts (in PDF format) of their contributions, which can represent work-in-progress, original work, or recently published work. Submissions should be formatted according to the usual LNCS article style and should not exceed 6 pages (excluding the references). If additional space is needed, a clearly marked appendix can be added, but the results of the contribution should also be understandable without it. All submissions will be reviewed with the help of the program committee, providing expert feedback on your contribution. Revised versions of the accepted abstracts will be made available at the workshop and should be presented by one author.

Please submit your relevant extended abstract electronically via EasyChair to

https://easychair.org/conferences/?conf=ttatt2016

Important dates

  • Submission deadline: May 2, 2016 Monday, May 16, 2016 at 11:59pm PDT (UTC -7h)
  • Notification: June 16, 2016
  • Early registration: June 19, 2016
  • Final version: July 7, 2016
  • Workshop: July 18, 2016

Program committee


Contact: maletti@ims.uni-stuttgart.de