TTATT 2015 - 3rd Trends in Tree Automata and Tree Transducers (TTATT)

Recently, tree automata and transducers have been combined and applied to various areas in computer science, including rewrite systems, static analysis of software, program transformation, XML document processing, and computational linguistics. This workshop aims to provide an opportunity for researchers from different areas to exchange ideas on the theory and practice of tree automata and tree transducers. The topics of the workshop include, but are not limited to:
advanced theory of word and tree automata
advanced theory of word and tree transducers
their extensions (higher-order/weighted/infinite models)
relations to TRS, regularity preservation
application to static analysis and model checking
application to program transformation
application to XML document processing
Organiser: Emmanuel Filiot (efiliot-AT-gmail.com)
Extended abstracts of at most 6 pages are solicited. The work may be in a preliminary stage, or may be a short version of recently published articles or papers submitted elsewhere. Accepted papers will be made available electronically before the workshop. It is planned to publish original papers in formal post-workshop proceedings (TBA soon).