Puneet Varma (Editor)

Conference on Implementation and Application of Automata

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Abbreviation
  
CIAA (formerly WIA)

History
  
1996–

Publisher
  
Springer LNCS

Frequency
  
annual (since 1996)

Discipline
  
Automata theory and formal languages

CIAA, the International Conference on Implementation and Application of Automata is an annual academic conference in the field of computer science. Its purpose is to bring together members of the academic, research, and industrial community who have an interest in the theory, implementation, and application of automata and related structures. There, the conference concerns research on all aspects of implementation and application of automata and related structures, including theoretical aspects. In 2000, the conference grew out of the Workshop on Implementation of Automata (WIA).

Contents

Like most theoretical computer science conferences its contributions are strongly peer-reviewed; the articles appear in proceedings published in Springer Lecture Notes in Computer Science. Extended versions of selected papers of each year's conference alternatingly appear in the journals Theoretical Computer Science and International Journal of Foundations of Computer Science. Every year a best paper award is presented.

Topics of the Conference

Since the focus of the conference is on applied theory, contributions usually come from a widespread range of application domains. Typical topics of the conference include, among others, the following, as they relate to automata:

  • Bio-inspired computing
  • Complexity of automata operations
  • Compilers
  • Computer-aided verification
  • Concurrency
  • Data and image compression
  • Design and architecture of automata software
  • Document engineering
  • Natural language processing
  • Pattern-matching
  • Teaching of automata theory
  • Text processing
  • Techniques for graphical display of automata

    • Recent History of the Conference

  • 16th CIAA 2011 in Blois, France
  • 15th CIAA 2010 in Winnipeg, Manitoba, Canada
  • 14th CIAA 2009 in Sydney, Australia
    • Special Issue: Theoretical Computer Science 411(38-39), 2010. Edited by S. Maneth.
  • 13th CIAA 2008 in San Francisco, CA, USA
    • Special Issue: International Journal of Foundations of Computer Science 20(4), 2009. Edited by O. Ibarra and B. Ravikumar.
  • 12th CIAA 2007 in Prague, Czech Republic
    • Special Issue: Theoretical Computer Science 410(37), 2009. Edited by J. Holub.
  • 11th CIAA 2006 in Taipei, Taiwan
    • Special Issue: International Journal of Foundations of Computer Science 18(4), 2007. Edited by Oscar H. Ibarra and Hsu-Chun Yen.
  • 10th CIAA 2005 in Sophia Antipolis, France
    • Special Issue: Theoretical Computer Science 363(2), 2006. Edited by J. Farré and I. Litovsky.

    References

    Conference on Implementation and Application of Automata Wikipedia
    (Text) CC BY-SA