TTATT 2012 : 1st International Workshop on Trends in Tree Automata and Tree Transducers
Call For Papers
Topics and Goals
Tree automata and tree transducers have their history of more than forty years. Recently, the theories have interplay with and/or are applied to various areas including rewrite systems, static analysis of software, program transformation, XML document processing and computational linguistics. This workshop aims at providing an opportunity for researchers from different areas to exchange information and ideas on theory and practice of tree automata and tree transducers. The topics within the scope of the workshop include, but are not limited to:
advanced theory of tree automata and tree transducers
extensions of tree automata and tree transducers (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
Submission: February 25
Notification: March 17
Final version: March 31
Extended abstract of at most five pages are solicited. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and may provide additional feedback. We plan to use Easychair. The accepted papers will be made available electronically before the workshop. In addition, we plan to distribute a printed version of the proceedings at the workshop.
To be announced.
To be annouced.
|ICALP 2013 40th International Colloquium on Automata, Languages and Programming|
|LATIN 2014 Latin American Theoretical INformatics (LATIN 2014)|
|Netcom 2013 The Fifth International Conference on Networks & Communications|
|AFCA 2013 1st International Workshop on Applications and Fundamentals of Cellular Automata|
|GandALF 2013 4th International Symposium on Games, Automata, Logics, and Formal Verification|
|CIAA 2013 18th International Conference on Implementation and Application of Automata|