CIAA 2009

14th International Conference on Implementation and Application of Automata
Sydney, Australia
July 14-17

CIAA is the premier annual forum for researchers, application developers, and users of automata-based systems. Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other disciplines. The CIAA conferences concern research on all aspects of implementation and application of automata and related structures, including theoretical aspects. The past conferences have an impressive record of publishing significant papers in the applications of finite automata in

  • parsing and compilers
  • natural language processing
  • pattern matching and
  • bioinformatics (among others).

    The conference also accepts papers that advance the state of the art in the theoretical study of finite automata, regular expressions, grammars and related formal models. A goal of the conference is to provide additions and enhancements to existing software systems that manipulate automata, regular expressions, grammars, and related structures; examples of such systems include AGL, AMoRE, ASTL, Automate, FADELA, FinITE, FIRE Station, JFLAP, FSM, Grail+, INR, Intex, MERLin, MONA, TESTAS, Turing's World, Vaucanson, WFSC and Whale Calf.

    Invited Talks

    At CIAA 09 we plan to have special invited talk sessions devoted to the implementation and application of automata in different areas of computer science. We plan to have talks on

  • Application of Automata in String Processing & Search.
  • Application of Automata in Verification / Formal Methods.
  • Application of Automata in XML Processing.

    Important Dates

    Submission deadline: March 16
    Notification deadline: April 20
    Camera-ready version: May 4

    Program Committee

    Mikolaj Bojanczyk Warsaw University, Poland
    Ahmed Bouajjani University of Paris 7, France
    Cristian S. Calude University of Auckland, New Zealand
    Jean-Marc Champarnaud Université de Rouen, France
    Hubert Comon-Lundh ENS Cachan, France
    Maxime Crochemore Université Marne-la-Vallée, France
    Michael Domaratzki University of Manitoba, Canada
    Frank Drewes Umeå University, Sweden
    Jan Holub Technical University in Prague, Czech Republic
    Hendrik Jan Hoogeboom Leiden University, Netherlands
    Juraj Hromkovic ETH Zürich, Switzerland
    Oscar H. Ibarra University of California, Santa Barbara, USA
    Lucian Ilie University of Western Ontario, Canada
    Masami Ito Kyoto Sangyo University, Japan
    Juhani Karhumäki University of Turku, Finland
    Markus Lohrey Universität Leipzig, Germany
    Sebastian Maneth NICTA & Univ. of New South Wales, Australia (Chair)
    Denis Maurel Université de Tours, France
    Filippo Mignosi Universitá di Palermo, Italy
    Mehryar Mohri Courant Institute of Mathematical Sciences, USA
    Anca Muscholl Université Bordeaux 1, France
    Joachim Niehren INRIA Lille, France
    Dirk Nowotka Universität Stuttgart, Germany
    Bala Ravikumar Sonoma State University, USA
    Wojciech Rytter Warsaw University, Poland
    Kai Salomaa Queen's University, Canada
    Thomas Schwentick Technische Universität Dortmund, Germany
    Stefan Schwoon Technische Universität München, Germany
    Colin Stirling University of Edinburgh, UK
    Hsu-Chun Yen National Taiwan University, Taiwan
    Sheng Yu University of Western Ontario, Canada

    Steering Committee

    Jean-Marc Champarnaud (France)
    Oscar H. Ibarra (USA)
    Denis Maurel (France)
    Kai Salomaa (Canada)
    Sheng Yu (Canada)

    Submission Instructions

    Research papers are sought on all aspects of implementation, application, and theory of automata and related structures. Submitted papers must present original research which is unpublished and not submitted elsewhere. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science (LNCS) series. Submitted papers must use the Springer-Verlag LNCS style and must not exceed 10 pages. Papers will be submitted electronically in PDF, using the EasyChair system.