TTATT 2015

3rd International Workshop on Trends in Tree Automata and Tree Transducers

April 18 - London

colocated with ETAPS

 

Tree automata and tree transducers have a history of more than forty years. Recently, the theories have interplayed 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. 

Important Dates



Submission                                                   Jan 9

Notification                                                   Feb 10

ETAPS Early Registration                             Feb 14

Workshop                                                    April 18

Program Committee


Arnaud Carayol (Université Paris-Est)

Olivier Carton (Université Paris-Diderot)

Emmanuel Filiot (chair, Université Libre de Bruxelles)

Andreas Maletti (Universität Stuttgart)

Sebastian Maneth (University of Edinburgh)

Keisuke Nakano (UEC Tokyo)

Helmut Seidl (TU München)

Hiroyuki Seki (Nagoya University)

Jean-Marc Talbot (Université Aix-Marseille)

Margus Veanes (Microsoft Research)


Topics and Goals



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

  1. -their extensions (higher-order/weighted/infinite models) 

  2. -their connections to logics

- relations to TRS, regularity preservation

- application to static analysis and model checking

- application to program transformation

- application to XML document processing


New ! Compared to past editions, automata and transducer on words are now included in the main topics of TTATT. 


Invited Speakers


Mikolaj Bojanczyk (Warsaw University)

Christof Löding (RTWH Aachen)

Sebastian Maneth (University of Edinburgh)


Submission


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. Original contributions will be considered for post-workshop publication in a volume of Electronic Proceedings in Theoretical Computer Science (EPTCS). The deadline for final version will be about one month after the workshop. Papers should be formatted according to EPTCS style and submitted on Easychair


Registration


Registration is done through ETAPS 2015 registration system. The deadline for early registration is Feb 14.


Links


TTATT last edition

ETAPS’15

Contact

Emmanuel Filiot                            efiliot@ulb.ac.be
Informal
Proceedings
Welcome_files/TTATT15-proceedings.pdfWelcome_files/TTATT15-proceedings.pdfshapeimage_2_link_0shapeimage_2_link_1