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 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:
The CIAA conference series was founded by Sheng Yu and Derick Wood.
Since 2013, the Steering committee is chaired by Kai Salomaa.
EventLocationPC chairsProceedingsSpecial issue
1st WIA 1996London, Ontario, CanadaDarrell R. Raymond
Derick Wood
Sheng Yu		LNCS 1260
2nd WIA 1997London, Ontario, CanadaDerick Wood
Sheng Yu		LNCS 1436Theoretical Computer Science 231, 2000
3rd WIA 1998Rouen, FranceJean-Marc Champarnaud
Denis Maurel
Djelloul Ziadi		LNCS 1660Theoretical Computer Science 267, 2001
4th WIA 1999Potsdam, GermanyOliver Boldt
Helmut Jürgensen		LNCS 2214
5th CIAA 2000London, Ontario, CanadaSheng Yu
Andrei Paun		LNCS 2088International Journal of Foundations of Computer Science 13, 2002
6th CIAA 2001Pretoria, South AfricaBruce W. Watson, Derick WoodLNCS 2494Theoretical Computer Science 313, 2004
7th CIAA 2002Tours, FranceJean-Marc Champarnaud
Denis Maurel		LNCS 2608International Journal of Foundations of Computer Science 14, 2003
8th CIAA 2003Santa Barbara, USAOscar H. Ibarra
Zhe Dang		LNCS 2759Theoretical Computer Science 328, 2004
9th CIAA 2004Kingston, Ontario, CanadaKai Salomaa
Sheng Yu		LNCS 3317International Journal of Foundations of Computer Science 16, 2005
Sophia Antipolis, FranceJacques Farré
Igor Litovsky		LNCS 3845Theoretical Computer Science 363, 2006
Taipei, TaiwanOscar H. Ibarra
Hsu-Chun Yen		LNCS 4094International Journal of Foundations of Computer Science 18, 2007
Prague, Czech RepublicJan Holub
Bořivoj Melichar		LNCS 4783Theoretical Computer Science 410, 2009
San Francisco, California, USAOscar H. Ibarra
Bala Ravikumar		LNCS 5148International Journal of Foundations of Computer Science 20, 2009
Sydney, AustraliaSebastian ManethLNCS 5642Theoretical Computer Science 411, 2010
Winnipeg, Manitoba, CanadaMichael Domaratzki
Kai Salomaa		LNCS 6482International Journal of Foundations of Computer Science 22, 2011
Blois, FranceBéatrice Bouchou-Markhoff
Jean-Marc Champarnaud
Denis Maurel		LNCS 6807Theoretical Computer Science 450, 2012
17th CIAA 2012Porto, PortugalNelma Moreira
Rogério Reis		LNCS 7381International Journal of Foundations of Computer Science 24, 2013
Halifax, Nova Scotia, CanadaStavros KonstantinidisLNCS 7982Theoretical Computer Science 578, 2015
Giessen, GermanyMarkus Holzer
Martin Kutrib		LNCS 8587International Journal of Foundations of Computer Science 26, 2015
Umeå, SwedenFrank DrewesLNCS 9223Theoretical Computer Science, to appear.
Seoul, South KoreaYo-Sub Han
Kai Salomaa		LNCS 9705
Paris, FranceArnaud Carayol
Cyril Nicaud
Charlottetwon, Prince Edward Island, CanadaCezar Câmpeanu