![]() |
| |||||||||||||||
TTATT 2016 : 4th International Workshop on Trends in Tree Automata and Tree Transducers | |||||||||||||||
Link: http://www.ims.uni-stuttgart.de/events/TTATT2016 | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
First Call for Papers
4th International Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2016) http://www.ims.uni-stuttgart.de/events/TTATT2016 July 18, 2016 in Seoul, South Korea (co-located with CIAA 2016) 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. ---------- | 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 Notification: June 13, 2016 Final version: July 4, 2016 Workshop: July 18, 2016 --------------------- | Program committee | --------------------- * Arnaud Carayol (Université Paris-Est, France) * Olivier Carton (Université Paris Diderot, France) * Frank Drewes (Umeå University, Sweden) * Emmanuel Filiot (Université Libre de Bruxelles, Belgium) * Zoltán Fülöp (University of Szeged, Hungary) * Andreas Maletti (Universität Stuttgart, Germany) * Sebastian Maneth (University of Edinburgh, United Kingdom) * Wim Martens (Universität Bayreuth, Germany) * Akimasa Morihata (University of Tokyo, Japan) * Keisuke Nakano (University of Electro-Communications, Japan) * Joachim Niehren (Inria Lille, France) * Damian Niwinski (University of Warsaw, Poland) * Helmut Seidl (Technische Universität München, Germany) * Hiroyuki Seki (Nagoya University, Japan) * Jean-Marc Talbot (Aix-Marseille Université, France) * Margus Veanes (Microsoft Research, USA) * Heiko Vogler (Technische Universität Dresden, Germany) * Bruce Watson (Stellenbosch University, South Africa) * James Worrell (University of Oxford, United Kingdom) ----------------------------------------- | Contact: maletti@ims.uni-stuttgart.de | |
|