posted by user: gauwin || 2505 views || tracked by 4 users: [display]

TTATT 2012 : 1st International Workshop on Trends in Tree Automata and Tree Transducers

FacebookTwitterLinkedInGoogle

Link: http://narayama.naist.jp/~seki/ttatt/
 
When Jun 2, 2012 - Jun 2, 2012
Where Nagoya, Japan
Submission Deadline Feb 25, 2012
Notification Due Mar 17, 2012
Final Version Due Mar 31, 2012
Categories    automata   formal language theory   theoretical computer science
 

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

Important Dates

Submission: February 25
Notification: March 17
Final version: March 31

Submission

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.

Invited Speakers

To be announced.

Organizing Co-Chairs

Keisuke Nakano
Hiroyuki Seki

Program Comittee

To be annouced.

Related Resources

ICALP 2020   47th International Colloquium on Automata, Languages and Programming
FSEN 2021   9th IPM International Conference on Fundamentals of Software Engineering
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
JISA-CYBER-SEC 2020   Special Issue on Trends in Cybersecurity, Journal of Information Security and Applications, Elsevier
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
LATA 2020 & 2021   14th International Conference on Language and Automata Theory and Applications
AI, Data Analytics and Blockchain JIEM 2020   Emerging Trends and Impacts of the rise of AI, Data Analytics and Blockchain, Journal of Enterprise Information Management (JIEM, Q1)
ICALP 2021   International Colloquium on Automata, Languages and Programming
SENSORDEVICES 2020   The Eleventh International Conference on Sensor Device Technologies and Applications