------------------------------------------------------------------------------
CIAA 2009

Call for Papers

14th International Conference on
Implementation and Application of Automata

Sydney, Australia, July 14-17, 2009

http://www.cse.unsw.edu.au/~ciaa2009
------------------------------------------------------------------------------
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 published 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.

IMPORTANT DATES
Submission Deadline: March 16, 2009
Notification Deadline: April 20, 2009
Camera-ready version: May 4, 2009

SUBMISSIONS
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 LNCS style (available at
http://www.springer.de/comp/lncs/authors.html) and may not exceed 10
pages. Papers must be in English and provide sufficient details to
allow the program committee to assess their merits. If the authors
believe more details are necessary to substantiate the claims of the
paper, they may include a clearly marked appendix to be read at the
discretion of the committee. Papers will be submitted electronically
in PDF, using the EasyChair system.

PROGRAM CHAIR & ORGANIZER
Sebastian Maneth (NICTA & University of NSW, Australia)

IINVITED SPEAKERS
Christoph Koch (Cornell University, USA)
Gonzalo Navarro (Universidad de Chile, Chile)
Helmut Seidl (Technische Universität München, Germany)

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