Conference on Implementation and Application of Automata
 |
| Conference on Implementation and Application of Automata | |
|---|---|
| Abbreviation | CIAA (formerly WIA) |
| Discipline | Automata theory and formal languages |
| Publication details | |
| Publisher | Springer LNCS |
| History | 1996– |
| Frequency | annual (since 1996) |
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).
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
The CIAA conference series was founded by Sheng Yu. Since 2013, the Steering committee is chaired by Kai Salomaa.
| Event | Location | PC chairs | Proceedings | Special issue |
|---|---|---|---|---|
| 10th CIAA 2005 | Sophia Antipolis, France | Jacques Farré Igor Litovsky |
LNCS 3845 | Theoretical Computer Science 363(2), 2006 |
| 11th CIAA 2006 | Taipei, Taiwan | Oscar H. Ibarra Hsu-Chun Yen |
LNCS 4094 | International Journal of Foundations of Computer Science 18(4), 2007 |
| 12th CIAA 2007 | Praque, Czech Republic | Jan Holub Bořivoj Melichar |
LNCS 4783 | Theoretical Computer Science 410(37), 2009 |
| 13th CIAA 2008 | San Francisco, California, USA | Oscar H. Ibarra Bala Ravikumar |
LNCS 5148 | International Journal of Foundations of Computer Science 20(4), 2009 |
| 14th CIAA 2009 | Sydney, Australia | Sebastian Maneth | LNCS 5642 | Theoretical Computer Science 411(38-39), 2010 |
| 15th CIAA 2010 | Winnipeg, Manitoba, Canada | Michael Domaratzki Kai Salomaa |
LNCS 6482 | |
| 16th CIAA 2011 | Blois, France | Béatrice Bouchou-Markhoff Jean-Marc Champarnaud Denis Maurel |
LNCS 6807 | |
| 17th CIAA 2012 | Porto, Portugal | Nelma Moreira Rogério Reis |
LNCS 7381 | |
| 18th CIAA 2013 | Halifax, Nova Scotia, Canada | Stavros Konstantinidis | LNCS 7982 | |
| 19th CIAA 2014 | Giessen, Germany | Markus Holzer Martin Kutrib |
LNCS 8587 | |
| 20th CIAA 2015 | Umeå, Sweden | Frank Drewes | LNCS 9223 | |
| 21st CIAA 2016 | Seoul, South Korea | Yo-Sub Han Kai Salomaa |
LNCS 9705 | |
| 22nd CIAA 2017 | Paris, France |
See also
- List of computer science conferences contains other academic conferences in computer science
References
- Okhotin, Alexander; Domaratzki, Michael; Salomaa, Kai (2004), "Report on CIAA 2004" (PDF), Bulletin of the EATCS, 84: 231–234.
External links