Conference on Implementation and Application of Automata
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 .
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
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, state complexity
- Compilers
- Computer-aided verification, model checking
- 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
History
The CIAA conference series was founded by Darrell Raymond and Derick Wood.Since 2013, the Steering committee is chaired by Kai Salomaa.
| Event | Location | PC chairs | Proceedings | Special issue |
| 1st WIA 1996 | London, Ontario, Canada | Darrell R. Raymond Derick Wood Sheng Yu | ||
| 2nd WIA 1997 | London, Ontario, Canada | Derick Wood Sheng Yu | Theoretical Computer Science 231, 2000 | |
| 3rd WIA 1998 | Rouen, France | Jean-Marc Champarnaud Denis Maurel Djelloul Ziadi | Theoretical Computer Science 267, 2001 | |
| 4th WIA 1999 | Potsdam, Germany | Oliver Boldt Helmut Jürgensen | ||
| 5th CIAA 2000 | London, Ontario, Canada | Sheng Yu Andrei Paun | International Journal of Foundations of Computer Science 13, 2002 | |
| 6th CIAA 2001 | Pretoria, South Africa | Bruce W. Watson, Derick Wood | Theoretical Computer Science 313, 2004 | |
| 7th CIAA 2002 | Tours, France | Jean-Marc Champarnaud Denis Maurel | International Journal of Foundations of Computer Science 14, 2003 | |
| 8th CIAA 2003 | Santa Barbara, USA | Oscar H. Ibarra Zhe Dang | Theoretical Computer Science 328, 2004 | |
| 9th CIAA 2004 | Kingston, Ontario, Canada | Kai Salomaa Sheng Yu | International Journal of Foundations of Computer Science 16, 2005 | |
| Sophia Antipolis, France | Jacques Farré Igor Litovsky | Theoretical Computer Science 363, 2006 | ||
| Taipei, Taiwan | Oscar H. Ibarra Hsu-Chun Yen | International Journal of Foundations of Computer Science 18, 2007 | ||
| Prague, Czech Republic | Jan Holub Bořivoj Melichar | Theoretical Computer Science 410, 2009 | ||
| San Francisco, California, USA | Oscar H. Ibarra Bala Ravikumar | International Journal of Foundations of Computer Science 20, 2009 | ||
| Sydney, Australia | Sebastian Maneth | Theoretical Computer Science 411, 2010 | ||
| Winnipeg, Manitoba, Canada | Michael Domaratzki Kai Salomaa | International Journal of Foundations of Computer Science 22, 2011 | ||
| Blois, France | Béatrice Bouchou-Markhoff Jean-Marc Champarnaud Denis Maurel | Theoretical Computer Science 450, 2012 | ||
| 17th CIAA 2012 | Porto, Portugal | Nelma Moreira Rogério Reis | International Journal of Foundations of Computer Science 24, 2013 | |
| Halifax, Nova Scotia, Canada | Stavros Konstantinidis | Theoretical Computer Science 578, 2015 | ||
| Giessen, Germany | Markus Holzer Martin Kutrib | International Journal of Foundations of Computer Science 26, 2015 | ||
| Umeå, Sweden | Frank Drewes | Theoretical Computer Science 679, 2017 | ||
| Seoul, South Korea | Yo-Sub Han Kai Salomaa | International Journal of Foundations of Computer Science 28, 2017 | ||
| Paris, France | Arnaud Carayol Cyril Nicaud | Theoretical Computer Science 787, 2019 | ||
| Charlottetwon, Prince Edward Island, Canada | Cezar Câmpeanu | International Journal of Foundations of Computer Science 31, 2020 | ||
| Košice, Slovakia | Galina Jirásková | Theoretical Computer Science, to appear. | ||
| Loughborough, United Kingdom | Manfred Kufleitner Daniel Reidenbach | N/A | N/A |