CIAA 2009

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

Poster

PosterIcon

Call for Papers

cfpIcon

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 will have special invited talk sessions devoted to the implementation and application of automata in different areas of computer science. There will be three invited talks on Application of Automata:

    • In XML Processing. By Christoph Koch (Cornell University, USA).
    • In String Processing & Search. By Gonzalo Navarro (Universidad de Chile, Chile).
    • In Program Analysis. By Helmut Seidl (TU München, German).

    Important Dates

    Submission deadline: March 29
    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)

    Proceedings

    LNCS The proceedings of CIAA 2009 will be published by Springer as volume 5642 of the LNCS series.

    Sponsors

    NICTA UNSW UNSW